2907 search results - page 465 / 582 » Presentations of Structures in Admissible Sets |
124
click to vote
ECCV
2006
Springer
15 years 4 months ago
2006
Springer
Nonlinear image registration is a prerequisite for various medical image analysis applications. Many data acquisition protocols suffer from problems due to breathing motion which h...
97
Voted
EKAW
2006
Springer
15 years 4 months ago
2006
Springer
Existing ontology matching algorithms use a combination of lexical and structural correspondance between source and target ontologies. We present a realistic case-study where both ...
100
click to vote
ESA
2006
Springer
15 years 4 months ago
2006
Springer
Lower envelopes are fundamental structures in computational geometry, which have many applications, such as computing general Voronoi diagrams and performing hidden surface removal...
101
Voted
ESCIENCE
2006
IEEE
15 years 4 months ago
2006
IEEE
In this paper we present a general domain for the analysis of workflows and workflow components based on the notion of a collection of Turing machines sharing a set of tapes. We s...
107
click to vote
ESOP
2006
Springer
15 years 4 months ago
2006
Springer
We present a multi-lingual type inference system for checking type safety of programs that use the Java Native Interface (JNI). The JNI uses specially-formatted strings to represe...