130 search results - page 19 / 26 » Algorithmic Algebraic Model Checking I: Challenges from Syst... |
AAAI
2006
14 years 11 months ago
2006
Description Logics (DLs) are the formal foundations of the standard web ontology languages OWL-DL and OWL-Lite. In the Semantic Web and other domains, ontologies are increasingly ...
VISUALIZATION
2005
IEEE
15 years 3 months ago
2005
IEEE
The study of physical models for knots has recently received much interest in the mathematics community. In this paper, we consider the ropelength model, which considers knots tie...
93
Voted
APLAS
2007
ACM
15 years 1 months ago
2007
ACM
Abstract. Given the combinatorial nature of cellular signalling pathways, where biological agents can bind and modify each other in a large number of ways, concurrent or agent-base...
75
Voted
ATAL
2008
Springer
14 years 11 months ago
2008
Springer
DEIRA is a virtual agent commenting on virtual horse races in real time. DEIRA analyses the state of the race, acts emotionally and comments about the situation in a believable an...
GECCO
2007
Springer
15 years 3 months ago
2007
Springer
Ant Colony Optimization (ACO) has been successfully applied to those combinatorial optimization problems which can be translated into a graph exploration. Artificial ants build s...