4949 search results - page 341 / 990 » Consistency and Set Intersection |
187
click to vote
CAISE
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. The vision of Semantic Web services is that computer systems shall find eligible services autonomously. This can be realised with providing semantic description about ad...
193
click to vote
ER
2001
Springer
15 years 11 months ago
2001
Springer
A Data Warehouse (DW) can be used to integrate data from multiple distributed data sources. A DW can be seen as a set of materialized views that determine its schema and its conten...
187
click to vote
HRI
2007
ACM
15 years 10 months ago
2007
ACM
Efforts are underway to make it possible for a single operator to effectively control multiple robots. In these high workload situations, many questions arise including how many r...
203
click to vote
CAV
2006
Springer
15 years 10 months ago
2006
Springer
niques for Fast Predicate Abstraction Shuvendu K. Lahiri , Robert Nieuwenhuis , and Albert Oliveras Abstract. Predicate abstraction is a technique for automatically exfinite-state ...
202
click to vote
SGP
2007
15 years 9 months ago
2007
In this paper, we describe a system for the reconstruction of deforming geometry from a time sequence of unstructured, noisy point clouds, as produced by recent real-time range sc...