4520 search results - page 298 / 904 » Algebraic Techniques for Timed Systems |
346
click to vote
ICDE
2009
IEEE
16 years 9 months ago
2009
IEEE
We have developed a system to process database queries over composed data providing web services. The queries are transformed into execution plans containing an operator that invok...
230
click to vote
SCA
2007
15 years 9 months ago
2007
We describe a method for animating incompressible liquids with detailed free surfaces. For each time step, semiLagrangian contouring computes a new fluid boundary (represented as ...
297
click to vote
VLDB
2007
ACM
16 years 7 months ago
2007
ACM
Recently, the C# and the VISUAL BASIC communities were tantalized by the advent of LINQ [18]--the Language INtegrated Query technology from Microsoft. LINQ represents a set of lan...
215
click to vote
EDBTW
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. Most of the recent work on adaptive processing and continuous querying of data streams assume that data objects come in the form of tuples, thus relying on the relational...
190
click to vote
IJCAI
2007
15 years 8 months ago
2007
Temporal reasoning is widely used within both Computer Science and A.I. However, the underlying complexity of temporal proof in discrete temporal logics has led to the use of simp...