129 search results - page 11 / 26 » Modeling how humans reason about others with partial informa... |
IUI
2005
ACM
14 years 1 months ago
2005
ACM
An expressive representation for location is an important component in many applications. However, while many location-aware applications can reason about space at the level of co...
SOUPS
2010
ACM
13 years 11 months ago
2010
ACM
Home computer systems are frequently insecure because they are administered by untrained, unskilled users. The rise of botnets has amplified this problem; attackers can compromis...
CP
1998
Springer
13 years 12 months ago
1998
Springer
In this paper we describe a paradigm for contentfocused matchmaking, based on a recently proposed model for constraint acquisition-and-satisfaction. Matchmaking agents are conceiv...
LICS
2006
IEEE
14 years 1 months ago
2006
IEEE
for reasoning about abstract models of protocols. The work on informal methods attempts to discern common patterns in the extensive record of flawed protocols, and to formulate po...
GIS
2000
ACM
13 years 7 months ago
2000
ACM
The advancement of GIS data models to allow the eOEective utilization of very large heterogeneous geographic databases requires a new approach that incorporates models of human cog...