18451 search results - page 83 / 3691 » Selecting a Selection Procedure |
141
click to vote
CADE
2005
Springer
16 years 5 months ago
2005
Springer
In this paper we study the decidability of various fragments of monodic first-order temporal logic by temporal resolution. We focus on two resolution calculi, namely, monodic tempo...
141
click to vote
ICIAP
2001
Springer
16 years 4 months ago
2001
Springer
A novel approach to the automatic classiJcation of remote sensed images is proposed. This approach is based on a three-phase procedure: first pixels which belong to the areas of i...
111
click to vote
WEBI
2009
Springer
15 years 11 months ago
2009
Springer
Abstract—This paper introduces and analyzes a new approach to query suggestion. After the user issues a query q0, for every document retrieved in a certain rank range [Θ1, Θ2],...
121
click to vote
ICCCN
2007
IEEE
15 years 11 months ago
2007
IEEE
— We propose a precomputation-based scheme which offers Pareto optimal solutions to the network dimensioning problem. This scheme is performed by means of a two-phase procedure. ...
176
click to vote
AE
2007
Springer
15 years 10 months ago
2007
Springer
The work presented in this paper is part of the development of a robotic system able to learn context dependent visual clues to navigate in its environment. We focus on the obstacl...