5216 search results - page 788 / 1044 » Planning as Model Checking |
180
click to vote
ICDE
2010
IEEE
15 years 11 months ago
2010
IEEE
Mashups are situational applications that build data flows to link the contents of multiple Web sources. Often times, ranking the results of a mashup is handled in a materializethe...
176
click to vote
IPPS
1999
IEEE
15 years 10 months ago
1999
IEEE
Abstract. This paper presents a Parallel Hybrid Evolutionary Metaheuristic for the Period Vehicle Routing Problem PVRP. The PRVP generalizes the classical Vehicle Routing Problem b...
198
click to vote
CVPR
1997
IEEE
15 years 10 months ago
1997
IEEE
A novel approach is proposed to obtain a record of the patient’s occlusion using computer vision. Data acquisition is obtained using intra-oral video cameras. The technique utili...
142
click to vote
SIGADA
1998
Springer
15 years 10 months ago
1998
Springer
Our institute has been developing the only publicly available implementation of the Ada 95 Distributed Systems Annex for several years in strong collaboration with Ada Core Techno...
163
click to vote
VLDB
1998
ACM
15 years 10 months ago
1998
ACM
Currently the key problems of query optimization are extensibility imposed by object-relational technology, as well as query complexity caused by forthcoming applications, such as...