2214 search results - page 173 / 443 » Complexity of Reasoning |
108
Voted
IVA
2010
Springer
15 years 2 months ago
2010
Springer
We describe a new organization for virtual human responses to dynamically occurring events. In our approach behavioral responses are enumerated in the representation of the event i...
125
Voted
ATAL
2006
Springer
15 years 7 months ago
2006
Springer
Affective reasoning plays an increasingly important role in cognitive accounts of social interaction. Humans continuously assess one another's situational context, modify the...
256
click to vote
POPL
2009
ACM
16 years 4 months ago
2009
ACM
As cryptographic proofs have become essentially unverifiable, cryptographers have argued in favor of developing techniques that help tame the complexity of their proofs. Game-base...
126
click to vote
DAC
2000
ACM
16 years 4 months ago
2000
ACM
This paper presents MINFLOTRANSIT, a new transistor sizing tool for fast sizing of combinational circuits with minimal cost. MINFLOTRANSIT is an iterative relaxation based tool th...
150
click to vote
PPOPP
2009
ACM
16 years 4 months ago
2009
ACM
On multiprocessors with explicitly managed memory hierarchies (EMM), software has the responsibility of moving data in and out of fast local memories. This task can be complex and...