4451 search results - page 553 / 891 » On Random Ordering Constraints |
167
click to vote
VRML
2004
ACM
16 years 3 days ago
2004
ACM
This paper addresses the problem of streaming progressively compressed 3-D models over lossy networks. Out of all encoded packets that can be transmitted, we intelligently choose ...
177
click to vote
FOIKS
2004
Springer
16 years 2 days ago
2004
Springer
We introduce a simple and practically efficient method for repairing inconsistent databases. The idea is to properly represent the underlying problem, and then use off-the-shelf a...
186
click to vote
HYBRID
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. An invariant of a system is a predicate that holds for every reachable state. In this paper, we present techniques to generate invariants for hybrid systems. This is achi...
190
click to vote
MDM
2004
Springer
16 years 2 days ago
2004
Springer
Data broadcasting is well known for its excellent scalability. Multi-dimensional range queries, such as spatial range queries of geographical information for location dependent se...
189
click to vote
PADL
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. A lightweight approach to debugging functional logic programs by observations is presented, implemented for the language Curry. The Curry Object Observation System (COOSy...