19367 search results - page 3677 / 3874 » Fine-Grain Process Modelling |
157
click to vote
KBSE
2005
IEEE
15 years 9 months ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...
149
click to vote
VISUALIZATION
2005
IEEE
15 years 9 months ago
2005
IEEE
We present a robust method for 3D reconstruction of closed surfaces from sparsely sampled parallel contours. A solution to this problem is especially important for medical segment...
167
click to vote
WACV
2005
IEEE
15 years 9 months ago
2005
IEEE
— This paper describes a new method to improve inertial navigation using feature-based constraints from one or more video cameras. The proposed method lengthens the period of tim...
177
click to vote
WORDS
2005
IEEE
15 years 9 months ago
2005
IEEE
Since the deployment of real-time sensitive applications in the Internet, the research community has been struggling to leverage the IP best-effort networks for providing QoS assu...
151
Voted
IUI
2005
ACM
15 years 9 months ago
2005
ACM
A principal problem in speech recognition is distinguishing between words and phrases that sound similar but have different meanings. Speech recognition programs produce a list of...