Sciweavers

3235 search results - page 321 / 647
» Partial Redundant Modeling
Sort
View
154
Voted
EPIA
1993
Springer
15 years 9 months ago
Resolution of Constraints in Algebras of Rational Trees
Abstract. This work presents a constraint solver for the domain of rational trees. Since the problem is NP-hard the strategy used by the solver is to reduce as much as possible, in...
Luís Damas, Nelma Moreira, Sabine Broda
128
Voted
IMPERIAL
1993
15 years 9 months ago
Laws of Parallel Synchronised Termination
The salient feature of the composition operators for Gamma programs is that for termination, the parallel composition operator demands that its operands must terminate synchronous...
David Sands
138
Voted
ICPR
2010
IEEE
15 years 8 months ago
Non-Parametric 3D Shape Warping
— A method is presented for non-rigid alignment of a source shape to a target shape through estimating and interpolating point-wise correspondences between their surfaces given a...
Ulrich Hillenbrand
149
Voted
CIVR
2006
Springer
181views Image Analysis» more  CIVR 2006»
15 years 8 months ago
Image Searching and Browsing by Active Aspect-Based Relevance Learning
Aspect-based relevance learning is a relevance feedback scheme based on a natural model of relevance in terms of image aspects. In this paper we propose a number of active learning...
Mark J. Huiskes
PADL
2000
Springer
15 years 8 months ago
A Logic-Based Information System
In this article we present the University of Evora's Integrated Information System (SIIUE), which is meant to model most of the information necessary for the management and da...
Salvador Abreu