2850 search results - page 48 / 570 » On Timed Models and Full Abstraction |
128
Voted
ICONIP
2007
15 years 7 months ago
2007
Abstract. The present paper addresses a general diagram to investigate the real-time parallel computation mechanism in the brain, using an idea of “Gantt chart.” This diagram e...
156
click to vote
CAIP
1999
Springer
1999
Springer
EigenHistograms: Using Low Dimensional Models of Color Distribution for Real Time Object Recognition
15 years 10 months ago
Abstract. Distribution of object colors has been used in computer vision for recognition and indexing. Most of the recent approaches to this problem have been focused on de ning op...
144
Voted
SCP
1998
15 years 5 months ago
1998
In STOC 93, Jones sketched the existence of a hierarchy within problems decidable in linear time by a first-order functional language based on tree-structured data (F), as well a...
148
Voted
ICCV
2007
IEEE
16 years 12 days ago
2007
IEEE
Abstract. We present a completely autonomous algorithm for the real-time creation of a moving subject’s kinematic model from optical motion capture data and with no a priori info...
176
Voted
TACAS
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Symmetry reduction is a technique to combat the state explosion problem in temporal logic model checking. Its use with symbolic representation has suffered from the proh...