5015 search results - page 845 / 1003 » Model Checking a Path |
120
click to vote
IJCAI
2007
15 years 3 months ago
2007
In the context of operative disruption management, decision support systems have to evaluate the typically manifold options of responding to disturbances: The temporal shift of ac...
111
click to vote
IADIS
2003
15 years 3 months ago
2003
The purpose of MARIAN is to investigate the degree of suitability for mobile agent technology in routing, topology discovery, and automatic network reconfiguration in ad-hoc wirel...
114
click to vote
WSCG
2004
15 years 3 months ago
2004
Image-based CSG rendering algorithms for standard graphics hardware rely on multipass rendering that includes reading and writing large amounts of pixel data from and to the frame...
113
Voted
AAAI
2000
15 years 3 months ago
2000
We develop a normative theory of interaction-negotiation in particular--among self-interested computationally limited agents where computational actions are game-theoretically tre...
116
Voted
ACL
1998
15 years 3 months ago
1998
A critical path in the development of natural language understanding NLU modules lies in the di culty of de ning a mapping from words to semantics: Usually it takes in the order o...