4341 search results - page 409 / 869 » Quantitative Model checking |
155
click to vote
QEST
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—ITPN-PerfBound is a graphical tool for the modeling and performance bound analysis of Interval Time Petri Nets (ITPN), that has been developed within the DrawNET modelin...
164
click to vote
CLEAR
2007
Springer
16 years 1 months ago
2007
Springer
This paper presents a visual particle filter for tracking a variable number of humans interacting in indoor environments, using multiple cameras. It is built upon a 3-dimensional,...
153
click to vote
DATE
2002
IEEE
15 years 11 months ago
2002
IEEE
With the term flexibility, we introduce a new design dimension of an embedded system that quantitatively characterizes its feasibility in implementing not only one, but possibly ...
161
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
We present a calibration procedure to determine the kinematic parameters of an active stereo system in a robot-centric frame of reference. Our goal was to obtain a solution of su...
217
click to vote
CARS
2004
15 years 8 months ago
2004
One of the most important issue in soft tissue modeling is to assess the quality of the simulations. A validation protocol is presented based on two CT scans of the patient acquire...