OAR@UM: Browsing OAR@UM

Browsing by Subject Computer algorithms

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:

Showing results 53 to 72 of 85 < previous next >

Issue Date	Title	Author(s)
2013	An openflow testbed for the investigation of software defined networking	Mula, Etienne (2013)
2012	Optimal mobile navigation on incomplete dynamic maps	Grech, Jurgen (2012)
2017	Optimising path tracing with genetic algorithms	Farrugia, James
2015	Optimizing scheduling in a pharmaceutical company	Azzopardi, Annalise (2015)
2004	Ordering functions for game playing	Captur, David (2004)
2016	Organising LTL monitors over distributed systems with a global clock	Colombo, Christian; Falcone, Yliès
2008	Paper-based scribble simplification : where do we stand?	Bartolo, Alexandra; Camilleri, Kenneth P.; Fabri, Simon G.; Borg, Jonathan C.
2011	Path finding and collision avoidance in a multi-agent system	Vella, Edward (2011)
2002	Performance improvement of polytope approximation in the verification algorithm	Farrugia, David (2002)
2017	Reliability and fault-tolerance by choreographic design	Cassar, Ian; Francalanza, Adrian; Mezzina, Claudio Antares; Tuosto, Emilio
2007	Representation does matter	Abela, John
2003	A risk driven state merging algorithm for learning DFAs	Spina, Sandro
2011	RULIE : rule unification for learning information extraction	Dingli, Alexiei; Busuttil, Dale P.; Seychell, Dylan
2012	Search engine trend forecasting	Vella, Clive F. (2012)
2000	The semantics of verilog using transition system combinators	Pace, Gordon J.
2006	Service discovery and composition : PreDiCtS approach	Abela, Charlie; Montebello, Matthew
2014	Spatial and temporal data modelling	Attard, Janice (2014)
2002	SPeeDI - a verification tool for polygonal hybrid systems	Asarin, Eugene; Pace, Gordon J.; Schneider, Gerardo; Yovine, Sergio
2018	Stable flight control of a tri-rotor drone using artificial neural networks	Sciberras, Mark
2006	Static analysis for state-space reduction of polygonal hybrid systems	Pace, Gordon J.; Schneider, Gerardo

Showing results 53 to 72 of 85 < previous next >