1999 search results - page 343 / 400 » Dependently Typed Grammars |
138
click to vote
ATAL
2007
Springer
16 years 9 days ago
2007
Springer
Making commitments, e.g., through promises and threats, enables a player to exploit the strengths of his own strategic position as well as the weaknesses of that of his opponents....
181
click to vote
ATAL
2007
Springer
16 years 9 days ago
2007
Springer
A robot’s ability to assist humans in a variety of tasks, e.g. in search and rescue or in a household, heavily depends on the robot’s reliable recognition of the objects in th...
155
click to vote
ECSQARU
2007
Springer
16 years 9 days ago
2007
Springer
Many types of inter-agent dialogue, including information seeking, negotiation and deliberation can be fruitfully seen as varieties of argumentation. Argumentation frameworks, ori...
168
click to vote
PPOPP
2006
ACM
16 years 2 days ago
2006
ACM
Recently there has been renewed interest in building reliable servers that support continuous application operation. Besides maintaining system state consistent after a failure, o...
159
click to vote
SI3D
2006
ACM
16 years 2 days ago
2006
ACM
Shade Trees Morgan McGuire George Stathis Hanspeter Pfister Shriram Krishnamurthi Brown University Harvard Extension School MERL Brown University As GPU-powered special effects be...