1222 search results - page 126 / 245 » corr 2008 |
183
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
The seabed characterization from sonar images is a very hard task because of the produced data and the unknown environment, even for an human expert. In this work we propose an ori...
160
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
This paper introduces a new algorithm for solving a subclass of quantified constraint satisfaction problems (QCSP) where existential quantifiers precede universally quantified ine...
195
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
In Constructive Type Theory, recursive and corecursive definitions are subject to syntactic restrictions which guarantee termination for recursive functions and productivity for c...
202
Voted
CORR
2008
Springer
15 years 7 months ago
2008
Springer
: In a data warehousing process, the phase of data integration is crucial. Many methods for data integration have been published in the literature. However, with the development of...
207
Voted
CORR
2008
Springer
15 years 7 months ago
2008
Springer
An increasing number of approaches for ontology engineering from text are gearing towards the use of online sources such as company intranet and the World Wide Web. Despite such r...