1399 search results - page 249 / 280 » An agent system reasoning about the web and the user |
115
Voted
WSC
2007
15 years 4 months ago
2007
Visualization is a powerful method for verifying, validating, and communicating the results of a simulated model. Lack of visual understanding about a simulated model is one of th...
110
click to vote
GIS
2002
ACM
15 years 1 months ago
2002
ACM
In mobile field data collection, data gatherer requires to get geospatial information service to support in navigating to the right locations, describing context of observed objec...
117
click to vote
WSC
2007
15 years 4 months ago
2007
As military interest continues to grow for Unmanned Aerial Vehicle (UAV) capabilities, the Air Force is exploring UAV autonomous control, mission planning and optimization techniq...
102
Voted
CLIMA
2004
15 years 3 months ago
2004
Abstract. We present an encoding of a sequent calculus for a multiagent epistemic logic in Athena, an interactive theorem proving system for many-sorted first-order logic. We then ...
116
Voted
BCSHCI
2009
15 years 3 months ago
2009
Hybrid surfaces are interactive systems combining techniques of direct-manipulation multi-touch surface interaction with elements of tangible user interfaces (TUIs). The design sp...