1532 search results - page 73 / 307 » The Symbol Grounding Problem |
117
click to vote
ISLPED
1999
ACM
15 years 8 months ago
1999
ACM
As we approach Gigascale Integration, chip power consumption is becoming a critical system parameter. Clock-gating idle units provides needed reductions in power consumption. Howe...
144
click to vote
CSFW
2010
IEEE
15 years 7 months ago
2010
IEEE
We consider the problem of automating open bisimulation checking for the spi-calculus, an extension of the pi-calculus with cryptographic primitives. The notion of open bisimulatio...
154
click to vote
CVPR
2007
IEEE
16 years 6 months ago
2007
IEEE
We introduce a physics-based model for 3D person tracking. Based on a biomechanical characterization of lower-body dynamics, the model captures important physical properties of bi...
151
click to vote
XPU
2009
Springer
15 years 10 months ago
2009
Springer
The Agile Manifesto values “customer collaboration over contract negotiation”. However, in many real projects, Agile practitioners spend considerable time and effort negotiati...
125
Voted
ISER
2004
Springer
15 years 9 months ago
2004
Springer
In this work we address the problem of controlling a ground robot based on aerial image feedback in real time. We present an analysis of the relationship between a robot’s ground...