Sciweavers

2765 search results - page 219 / 553
» Spatio-temporal Models and Languages: An Approach Based on C...
Sort
View
ECCV
2006
Springer
16 years 8 months ago
Algebraic Methods for Direct and Feature Based Registration of Diffusion Tensor Images
Abstract. We present an algebraic solution to both direct and featurebased registration of diffusion tensor images under various local deformation models. In the direct case, we sh...
Alvina Goh, René Vidal
CORR
2010
Springer
124views Education» more  CORR 2010»
15 years 4 months ago
Lattice model refinement of protein structures
To find the best lattice model representation of a given full atom protein structure is a hard computational problem. Several greedy methods have been suggested where results are ...
Martin Mann, Alessandro Dal Palù
RTSS
2000
IEEE
15 years 10 months ago
Efficient Scheduling of Sporadic, Aperiodic, and Periodic Tasks with Complex Constraints
Many industrial applications with real-time demands are composed of mixed sets of tasks with a variety of requirements. These can be in the form of standard timing constraints, su...
Damir Isovic, Gerhard Fohler
DASFAA
2007
IEEE
266views Database» more  DASFAA 2007»
16 years 1 months ago
Compatibility Analysis and Mediation-Aided Composition for BPEL Services
In Service Oriented Architecture (SOA), the need for inter-service compatibility analysis has gone beyond what existing service composition/ verification approaches can handle. Giv...
Wei Tan, Fangyan Rao, Yushun Fan, Jun Zhu
DATESO
2007
107views Database» more  DATESO 2007»
15 years 8 months ago
Updating Typed XML Documents Using a Functional Data Model
We address a problem of updating XML documents having their XML schema described by a Document Type Definition (DTD) without breaking their validity. We present a way how to expre...
Pavel Loupal