3624 search results - page 395 / 725 » Abstract Algebraic Logic |
186
click to vote
ICLP
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. In this paper we show how we can use size and groundness analyses lifted to regular and (polymorphic) Hindley/Milner typed programs to determine more accurate termination...
165
click to vote
ASWC
2006
Springer
15 years 10 months ago
2006
Springer
With the growing interest in modular ontology languages to address the need for collaborative development, integration, and use of ontologies on the Web, there is an urgent need fo...
151
click to vote
ECCV
2002
Springer
16 years 8 months ago
2002
Springer
Abstract. Given the projection of a su cient numberof points it is possible to algebraically eliminate the camera parameters and obtain viewinvariant functions of image coordinates...
180
Voted
ECCV
2000
Springer
16 years 8 months ago
2000
Springer
Abstract. We study the special form that the general multi-image tensor formalism takes under the plane + parallax decomposition, including matching tensors and constraints, closur...
196
click to vote
IPMI
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. Image segmentation in microscopy, especially in interferencebased optical microscopy modalities, is notoriously challenging due to inherent optical artifacts. We propose ...