675 search results - page 74 / 135 » New reals: Can live with them, can live without them |
IJCAI
2001
15 years 16 days ago
2001
We consider an on-line decision-theoretic interpreter and incremental execution of Golog programs. This new interpreter is intended to overcome some limitations of the off-line in...
83
Voted
SIGMETRICS
2008
ACM
14 years 11 months ago
2008
ACM
Network traffic modeling generally views traffic as a superposition of flows that creates a timeseries of volume counts (e.g. of bytes or packets). What is omitted from this view ...
103
click to vote
SIGSOFT
2003
ACM
15 years 12 months ago
2003
ACM
Memory corruption errors lead to non-deterministic, elusive crashes. This paper describes ARCHER (ARray CHeckER) a static, effective memory access checker. ARCHER uses path-sensit...
178
click to vote
ICDE
2002
IEEE
16 years 15 days ago
2002
IEEE
The development of new services through the integration of existing ones has gained a considerable momentum as a means to create and streamline business-to-business collaborations...
COMPGEOM
2009
ACM
15 years 5 months ago
2009
ACM
Color red and blue the n vertices of a convex polytope P in R3 . Can we compute the convex hull of each color class in o(n log n)? What if we have χ > 2 colors? What if the co...