Sciweavers

8413 search results - page 1034 / 1683
» Ordering Problem Subgoals
Sort
View
ICTAI
2000
IEEE
15 years 11 months ago
Building efficient partial plans using Markov decision processes
Markov Decision Processes (MDP) have been widely used as a framework for planning under uncertainty. They allow to compute optimal sequences of actions in order to achieve a given...
Pierre Laroche
CAIP
1995
Springer
252views Image Analysis» more  CAIP 1995»
15 years 11 months ago
3D Surface Reconstruction Using Occluding Contours
This paper addresses the problem of 3D surface reconstruction using image sequences. It has been shown that shape recovery from three or more occluding contours of the surface is p...
Edmond Boyer, Marie-Odile Berger
CHARME
1995
Springer
120views Hardware» more  CHARME 1995»
15 years 11 months ago
Timing analysis of asynchronous circuits using timed automata
In this paper we present a method formodeling asynchronous digital circuits by timed automata. The constructed timed automata serve as \mechanical" and veri able objects for a...
Oded Maler, Amir Pnueli
CP
1995
Springer
15 years 11 months ago
Optimization-based Heuristics for Maximal Constraint Satisfaction
We present a new heuristic approach for maximal constraint satisfaction of overconstrained problems (MAX-CSP). This approach is based on a formulation of CSP as an optimization pro...
Javier Larrosa, Pedro Meseguer
DL
1995
Springer
143views Digital Library» more  DL 1995»
15 years 11 months ago
Digital Libraries: Issues and Architectures
The research field of digital libraries must be viewed as a union of subfields from a variety of domains combined with new research issues in order to realize its full potential....
Peter J. Nürnberg, Richard Furuta, John J. Le...
« Prev « First page 1034 / 1683 Last » Next »