3166 search results - page 353 / 634 » Translation By Structural Correspondences |
189
click to vote
LICS
2005
IEEE
16 years 1 months 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...
211
click to vote
CAISE
2005
Springer
16 years 1 months 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...
256
click to vote
IWCM
2004
Springer
16 years 25 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...
187
Voted
ICRA
2002
IEEE
16 years 12 days 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...
222
click to vote
GI
2009
Springer
16 years 2 days 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...