3206 search results - page 414 / 642 » How minds can be computational systems |
168
click to vote
ICIP
2003
IEEE
16 years 8 months ago
2003
IEEE
In this paper we show how a system for performing automatic surface model acquisition from single object views can be designed. The surface acquisition process is a two step one. ...
150
click to vote
DAC
2004
ACM
16 years 7 months ago
2004
ACM
Extensible processors, which allow customization for an application domain by extending the core instruction set architecture, are becoming increasingly popular for embedded syste...
280
click to vote
CP
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. In this paper, we show how model-checking can be generalized to temporal logic constraint solving, by considering temporal logic formulae with free variables over some do...
167
click to vote
HICSS
2010
IEEE
16 years 1 months ago
2010
IEEE
Geographic information retrieval (GIR) is, as a branch of traditional information retrieval, a discipline that tries to enrich data with geographical information to make it suitab...
115
click to vote
HAPTICS
2009
IEEE
16 years 1 months ago
2009
IEEE
We describe a single-axis haptic interface which is based on a dualstage actuator technique and which is aimed at achieving perfect transparency to a human user. The paper shows h...