4041 search results - page 48 / 809 » time 2009 |
155
click to vote
IFM
2009
Springer
16 years 11 days ago
2009
Springer
Abstract. To model real-life critical systems, one needs“high-level”languages to express three important concepts: complex data structures, concurrency, and real-time. So far, ...
132
click to vote
SOFSEM
2009
Springer
16 years 2 months ago
2009
Springer
We introduce the first process algebra with non-blocking reading actions for modelling concurrent asynchronous systems. We study the impact this new kind of actions has on fairnes...
172
click to vote
MIRAGE
2009
Springer
15 years 10 months ago
2009
Springer
3D human motion capture by real-time monocular vision without using markers can be achieved by registering a 3D articulated model on a video. Registration consists in iteratively o...
165
click to vote
SEFM
2009
IEEE
16 years 17 days ago
2009
IEEE
—In the modern car, electronic devices are even employed for safety-critical missions like brake control, where failures might cost human lives. Among various approaches to incre...
137
click to vote
DCG
2010
15 years 5 months ago
2010
Given any > 0 and any planar region bounded by a simple n-gon P we construct a (1 + )-quasiconformal map between and the unit disk in time C()n. One can take C() = C + C log ...