3229 search results - page 543 / 646 » The Theory of Timed Automata |
191
click to vote
MASCOTS
2010
15 years 3 months ago
2010
Requests scheduling in Web servers is a hot research topic. Many works aim at providing optimal algorithms according to various metrics. Most of these works are based on classical ...
160
click to vote
PPDP
2010
Springer
15 years 3 months ago
2010
Springer
Transaction Logic is a logic for representing declarative and procedural knowledge in logic programming, databases, and AI. It has been successful in areas as diverse as workflows...
158
click to vote
SASO
2010
IEEE
15 years 3 months ago
2010
IEEE
Self-organising systems are a popular engineering concept for designing decentralised autonomic computing systems. They are able to find solutions in complex and versatile problem ...
166
Voted
SEMWEB
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. We study the problem of evolution for Knowledge Bases (KBs) expressed in Description Logics (DLs) of the DL-Lite family. DL-Lite is at the basis of OWL 2 QL, one of the t...
185
click to vote
SISAP
2010
IEEE
15 years 3 months ago
2010
IEEE
Determining similarities among multimedia objects is a fundamental task in many content-based retrieval, analysis, mining, and exploration applications. Among state-of-the-art sim...