409 search results - page 46 / 82 » Modeling Motivation in MicroPsi 2 |
CHI
2010
ACM
14 years 2 months ago
2010
ACM
Eco-feedback technology provides feedback on individual or group behaviors with a goal of reducing environmental impact. The history of eco-feedback extends back more than 40 year...
FCT
2009
Springer
14 years 2 months ago
2009
Springer
Entanglement is a complexity measure for directed graphs that was used to show that the variable hierarchy of the propositional modal µ-calculus is strict. While graphs of entangl...
SCALESPACE
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. Concepts from elasticity are applied to analyze modes of variation on shapes in two and three dimensions. This approach represents a physically motivated alternative to s...
ICMCS
2007
IEEE
14 years 1 months ago
2007
IEEE
One basic observation for pedestrian detection in video sequences is that both appearance and motion information are important to model the moving people. Based on this observatio...
ASIACRYPT
2007
Springer
14 years 1 months ago
2007
Springer
Recent collision-finding attacks against hash functions such as MD5 and SHA-1 motivate the use of provably collision-resistant (CR) functions in their place. Finding a collision ...