3206 search results - page 391 / 642 » How minds can be computational systems |
176
click to vote
ICCV
2007
IEEE
16 years 28 days ago
2007
IEEE
Abstract. This paper presents an approach to large lexicon sign recognition that does not require tracking. This overcomes the issues of how to accurately track the hands through s...
141
click to vote
CONCUR
2007
Springer
16 years 24 days ago
2007
Springer
It is well known that bisimulation on µ-expressions cannot be finitely axiomatised in equational logic. Complete axiomatisations such as those of Milner and Bloom/´Esik necessar...
154
click to vote
AOSD
2006
ACM
16 years 18 days ago
2006
ACM
A primary goal of AOSD in the context of systems software has been to permit improved modularity without significantly degrading performance. Optimizations represent important cr...
171
click to vote
AMDO
2004
Springer
16 years 22 hour ago
2004
Springer
In many product areas, a growing trend can be observed towards variant design, i.e. the development of customized designs based on variations of mature product models. We have deve...
162
click to vote
CDC
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract-- We present the applications of reachability methods and computational tools based on game theory to a problem in air traffic management. The use of such methods in air t...