OAR@UM: Search

Search

Results 1-10 of 21 (Search time: 0.014 seconds).

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