Skip navigation
Home
Browse
Communities
& Collections
Browse Items by:
Author
Title
Subject
Issue Date
Material Type
Language
Access Rights
Help
OAR@UM Help
FAQs
OAR@UM Policies
Submission Forms
Sign on to:
My OAR@UM
OAR@UM
Search
Search:
All of OAR@UM
Faculty of Information and Communication Technology
Department of Computer Science
Scholarly Works - FacICTCS
for
Current filters:
Title
Author
Subject
Date Issued
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Start a new search
Add filters:
Use filters to refine the search results.
Title
Author
Subject
Date Issued
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Results 1-10 of 21 (Search time: 0.088 seconds).
previous
1
2
3
next
Item hits:
Issue Date
Title
Author(s)
2007
Automatic interface generation for compositional verification
Spina, Sandro
;
Pace, Gordon J.
;
Lang, Frederic
2005
Search diversification techniques for grammatical inference
Spina, Sandro
2006
Automatic interface generation for enumerative model checking
Spina, Sandro
;
Pace, Gordon J.
2004
Non-monotonic search strategies for grammatical inference
Spina, Sandro
;
Abela, John
2008
Model checking user interfaces
Cauchi, Abigail
;
Pace, Gordon J.
;
Spina, Sandro
2013-11
Point-cloud decomposition for scene analysis and understanding
Spina, Sandro
2003
A risk driven state merging algorithm for learning DFAs
Spina, Sandro
2012-11
Iterative partitioning and labelling of point cloud data
Spina, Sandro
2017
Telemetry-based optimisation for user training in racing simulators
Bugeja, Keith
;
Spina, Sandro
;
Buhagiar, Francois
2014
High-fidelity graphics for dynamically generated environments using distributed computing
Bugeja, Keith
;
Debattista, Kurt
;
Spina, Sandro
;
Chalmers, Alan
Discover
Author
13
Bugeja, Keith
9
Debattista, Kurt
5
Magro, Mark
3
Chalmers, A.
3
De Barro, Adrian
3
Napoli, Kevin
3
Pace, Gordon J.
2
Chalmers, Alan
1
Abela, John
.
next >
Subject
7
Cloud computing
5
Computer graphics
4
Rendering (Computer graphics)
3
Computer algorithms
3
Image segmentation
2
Compositionality (Linguistics)
2
Computational complexity
2
Heuristic algorithms
2
Ray tracing algorithms
.
next >