1114 search results - page 121 / 223 » An Architecture for Peer-to-peer Reasoning |
193
click to vote
ATVA
2006
Springer
15 years 10 months ago
2006
Springer
We address the problem of model checking hybrid systems which exhibit nontrivial discrete behavior and thus cannot be treated by considering the discrete states one by one, as most...
163
click to vote
EWCBR
2000
Springer
15 years 10 months ago
2000
Springer
Lessons learned processes, and software systems that support them, have been developed by many organizations (e.g., all USA military branches, NASA, several Department of Energy or...
150
click to vote
AAAI
2010
15 years 7 months ago
2010
Modern complex games and simulations pose many challenges for an intelligent agent, including partial observability, continuous time and effects, hostile opponents, and exogenous ...
160
click to vote
LREC
2010
15 years 7 months ago
2010
Ontology population from text is becoming increasingly important for NLP applications. Ontologies in OWL format provide for a standardized means of modeling, querying, and reasoni...
175
click to vote
SIS
2008
15 years 7 months ago
2008
Network Access Control requirements are typically implemented in practice as a series of heterogeneous security-mechanism-centric policies that span system services and application...