3166 search results - page 353 / 634 » Translation By Structural Correspondences |
173
click to vote
LICS
2005
IEEE
16 years 10 days ago
2005
IEEE
We investigate model theoretic characterisations of the expressive power of modal logics in terms of bisimulation invariance. The paradigmatic result of this kind is van Benthem...
189
click to vote
CAISE
2005
Springer
16 years 9 days ago
2005
Springer
This paper presents a detailed integration process for XML schemata called BInXS. BInXS adopts a global-as-view integration approach that builds a global schema from a set of heter...
236
click to vote
IWCM
2004
Springer
16 years 4 days ago
2004
Springer
We present a probabilistic framework for component-based automatic detection and tracking of objects in video. We represent objects as spatio-temporal two-layer graphical models, w...
168
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
We develop a method for generating smooth trajectories for a set of mobile robots. Given two end configurations, by tuning one parameter, the user can choose an interpolating tra...
203
Voted
GI
2009
Springer
15 years 11 months ago
2009
Springer
: Statistical shape models are powerful tools for model-based segmentation and have been sucessfully applied to the segmentation of various structures in medical images. Though the...