6308 search results - page 302 / 1262 » Modeling Urgency in Timed Systems |
155
click to vote
AI
2004
Springer
15 years 6 months ago
2004
Springer
We give a formal semantics for a highly expressive language for representing temporal relationships and events. This language, which we call Versatile Event Logic (VEL), provides ...
199
click to vote
TSMC
2010
15 years 1 months ago
2010
Robust stability serves as an important regulation mechanism in system biology and synthetic biology. In this paper, the robust stability analysis problem is investigated for a cla...
190
click to vote
ENTCS
2006
15 years 6 months ago
2006
Nowadays, software evolution is a very hot topic. Many applications need to be updated or extended with new characteristics during their lifecycle. Software evolution is character...
167
click to vote
ICCV
2001
IEEE
16 years 8 months ago
2001
IEEE
We present a novel approach to real-time structured light range scanning. After an analysis of the underlying assumptions of existing structured light techniques, we derive a new ...
180
click to vote
ISORC
2008
IEEE
16 years 1 months ago
2008
IEEE
The performance of autonomous vehicles could be drastically improved if ad-hoc networking and suitable real-time coordination is employed to optimize and improve the joint behavio...