Sciweavers

2710 search results - page 260 / 542
» Knowledge Management with Snapshots
Sort
View
ACTA
2010
104views more  ACTA 2010»
15 years 6 months ago
Reachability results for timed automata with unbounded data structures
Systems of Data Management Timed Automata (SDMTAs) are networks of communicating timed automata with structures to store messages and functions to manipulate them. We prove the dec...
Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo...
COMAD
2009
15 years 4 months ago
Similarity Search in Moving Object Trajectories
The continuous and rapid advent in mobile and communications technology opens the way for new research areas and new applications. Moving Object Databases(MODs) are among the emer...
Omnia Ossama Hoda, M. O. Mokhtar
EKNOW
2009
15 years 4 months ago
Process Diagnostics: A Method Based on Process Mining
As organizations change, their information systems can evolve from simple systems to complex systems, which are hard to understand, and therefore hard to maintain or extend. Proces...
Melike Bozkaya, Joost Gabriels, Jan Martijn E. M. ...
FOMI
2009
15 years 4 months ago
Modular Ontologies for Architectural Design
Abstract. The design of architectural environments has to take into account various sources of heterogeneous information. Not only quantitative spatial constraints and qualitative ...
Joana Hois, Mehul Bhatt, Oliver Kutz
FOMI
2009
15 years 4 months ago
Supporting the Development of Medical Ontologies
Ontologies are widely used in the biomedical community, which has built standard reference ontologies for various aspects of medicine. These projects have produced broad descriptio...
David Corsar, Laura Moss, Derek H. Sleeman, Malcol...