16504 search results - page 3177 / 3301 » New Problems, New Solutions |
153
click to vote
SPIN
2004
Springer
16 years 7 days ago
2004
Springer
The notion that certain procedures are atomic provides a valuable partial specification for many multithreaded software systems. Several existing tools verify atomicity by showing...
196
click to vote
SWAT
2004
Springer
16 years 7 days ago
2004
Springer
We show that any priority queue data structure that supports insert, delete, and find-min operations in pq(n) time, when n is an upper bound on the number of elements in the prio...
228
click to vote
UPP
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. Achieving real-time response to complex, ambiguous, highbandwidth data is impractical with conventional programming. Only the narrow class of compressible input-output ma...
199
click to vote
VLDB
2004
ACM
16 years 7 days ago
2004
ACM
The widespread adoption of XML holds out the promise that document structure can be exploited to specify precise database queries. However, the user may have only a limited knowle...
217
click to vote
ECCV
2010
Springer
16 years 7 days ago
2010
Springer
The range space of dynamic textures spans spatiotemporal phenomena that vary along three fundamental dimensions: spatial texture, spatial texture layout, and dynamics. By describin...