3387 search results - page 442 / 678 » Model-Checking for Real-Time Systems |
180
click to vote
MICCAI
2005
Springer
16 years 8 months ago
2005
Springer
Abstract. In this paper, we present a sensor guided ablation procedure of highly motile left atrium. It uses a system which automatically registers the 4D heart model with the posi...
183
click to vote
QEST
2008
IEEE
16 years 1 months ago
2008
IEEE
The UML profile for Modeling and Analysis of Real Time and Embedded systems (MARTE) provides a powerful, standardised framework for the specification of non-functional propertie...
152
click to vote
RTSS
2002
IEEE
15 years 12 months ago
2002
IEEE
We present an approach to computing cyclic schedules online and in real time, while attempting to maximize a quality-of-service metric. The motivation is the detection of RF emitt...
123
click to vote
KBS
2007
15 years 7 months ago
2007
Restaurant table management can have significant impact on both profitability and the customer experience. The core of the issue is a complex dynamic combinatorial problem. We sho...
354
click to vote
MVA
2011
15 years 1 months ago
2011
Detecting car taillights at night is a task which can nowadays be accomplished very fast on cheap hardware. We rely on such detections to build a vision-based system that, couplin...