11436 search results - page 145 / 2288 » Modeling Real Reasoning |
140
click to vote
RTCSA
1999
IEEE
15 years 7 months ago
1999
IEEE
ASTRAL is a high-level formal specification language for real-time (infinite state) systems. It is provided with structuring mechanisms that allow one to build modularized specifi...
135
click to vote
MOMPES
2006
IEEE
15 years 9 months ago
2006
IEEE
In this era of intense liking to automation in almost all time-critical fields, real-time systems have got widespread utilization in industrial, commercial, medical, space and mil...
113
click to vote
NIPS
2008
15 years 4 months ago
2008
Learning in real-time applications, e.g., online approximation of the inverse dynamics model for model-based robot control, requires fast online regression techniques. Inspired by...
109
click to vote
SEMCO
2007
IEEE
15 years 9 months ago
2007
IEEE
Model-driven development depends on good initial models. Creating these models by hand is a challenging task, because of complex specification documents and change requests. We p...
127
click to vote
GW
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. The problem of hand tracking in the presence of occlusion is addressed. In bimanual movements the hands tend to be synchronised effortlessly. Different aspects of this sy...