Sciweavers

6014 search results - page 802 / 1203
» Structural Testing with Use Cases
Sort
View
ECAI
2004
Springer
15 years 11 months ago
Qualitative Reasoning Feeding Back into Quantitative Model-Based Tracking
Tracking vehicles in image sequences of innercity road traffic scenes still constitutes a challenging task. Even if a-priori knowledge about the 3D shape of vehicles, of backgroun...
Christian Köhler, Artur Ottlik, Hans-Hellmut ...
HYBRID
2004
Springer
15 years 11 months ago
Bisimulation of Dynamical Systems
A general notion of bisimulation is studied for dynamical systems. An algebraic characterization of bisimulation together with an algorithm for computing the maximal bisimulation r...
A. J. van der Schaft
MICCAI
2004
Springer
15 years 11 months ago
An Anisotropic Material Model for Image Guided Neurosurgery
In order to combine preoperative data with intraoperative scans for image-guided neurosurgery visualization, accurate registration is necessary. It has been determined previously t...
Corey Kemper, Ion-Florin Talos, Alexandra Golby, P...
MLMI
2004
Springer
15 years 11 months ago
Mixture of SVMs for Face Class Modeling
We 1 present a method for face detection which uses a new SVM structure trained in an expert manner in the eigenface space. This robust method has been introduced as a post process...
Julien Meynet, Vlad Popovici, Jean-Philippe Thiran
PRICAI
2004
Springer
15 years 11 months ago
An Anytime Algorithm for Interpreting Arguments
Abstract. The problem of interpreting Natural Language (NL) discourse is generally of exponential complexity. However, since interactions with users must be conducted in real time,...
Sarah George, Ingrid Zukerman, Michael Niemann