9581 search results - page 1614 / 1917 » On Ubiquitous Integrated Computing |
211
click to vote
TYPES
1998
Springer
15 years 11 months ago
1998
Springer
We define a generic notion of cut that applies to many first-order theories. We prove a generic cut elimination theorem showing that the cut elimination property holds for all theo...
190
click to vote
VLDB
1998
ACM
15 years 11 months ago
1998
ACM
Semistructured data is not strictly typed like relational or object-oriented data and may be irregular or incomplete. It often arises in practice, e.g., when heterogeneous data so...
178
click to vote
VISUALIZATION
1997
IEEE
15 years 11 months ago
1997
IEEE
We introduce the contour spectrum, a user interface component that improves qualitative user interaction and provides real-time exact quanti cation in the visualization of isocont...
167
click to vote
INFOCOM
1996
IEEE
15 years 11 months ago
1996
IEEE
This report analyzes two popular heuristics for ensuring packet integrity in ATM switching systems. In particular, we analyze the behavior of packet tail discarding, in order to u...
165
click to vote
SSD
1997
Springer
15 years 11 months ago
1997
Springer
It is agreed upon that topological relations ore of great importance regarding to GIS data sets consistency. A lot of errors that can be found in GIS data sets are coming from a l...