1143 search results - page 135 / 229 » Mental models of recursion |
AAMAS
2010
Springer
13 years 9 months ago
2010
Springer
Cognitive appraisal theories, which link human emotional experience to their interpretations of events happening in the environment, are leading approaches to model emotions. In th...
CVPR
2010
IEEE
14 years 5 months ago
2010
IEEE
We describe a general method for building cascade classifiers from part-based deformable models such as pictorial structures. We focus primarily on the case of star-structured mod...
ATAL
2009
Springer
14 years 3 months ago
2009
Springer
Two-player games of billiards, of the sort seen in recent Computer Olympiads held by the International Computer Games Association, are an emerging area with unique challenges for ...
CAV
2007
Springer
14 years 3 months ago
2007
Springer
We present Hector, a software tool for combining different abstraction methods to extract sound models of heap-manipulating imperative programs with recursion. Extracted models ma...
HICSS
2003
IEEE
2003
IEEE
A probabilistic loading-dependent model of cascading failure and possible implications for blackouts
14 years 2 months ago
Catastrophic disruptions of large, interconnected infrastructure systems are often due to cascading failure. For example, large blackouts of electric power systems are typically c...