1690 search results - page 158 / 338 » Algorithmic Properties of Millstream Systems |
115
click to vote
SODA
2008
ACM
15 years 6 months ago
2008
ACM
DNA self-assembly has emerged as a rich and promising primitive for nano-technology. Experimental and analytical evidence indicates that such systems are prone to errors, and acco...
128
click to vote
ATVA
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. This paper is concerned with a method for computing reachable sets of linear continuous systems with uncertain input. Such a method is required for verification of hybrid...
176
click to vote
CIKM
2010
Springer
15 years 2 months ago
2010
Springer
Schema merging is the process of consolidating multiple schemas into a unified view. The task becomes particularly challenging when the schemas are highly heterogeneous and autono...
228
click to vote
GIS
2004
ACM
16 years 5 months ago
2004
ACM
In the geometric data model [6], spatio-temporal data are modelled as a finite collection of triangles that are transformed by time-dependent affinities. To facilitate querying an...
211
click to vote
SIGMOD
2007
ACM
16 years 4 months ago
2007
ACM
A cracked database is a datastore continuously reorganized based on operations being executed. For each query, the data of interest is physically reclustered to speed-up future ac...