5879 search results - page 835 / 1176 » Separation - Past, Present, and Future |
175
click to vote
CHI
2004
ACM
16 years 7 months ago
2004
ACM
A video stream from a single camera is often the foundation for situational awareness in teleoperation activities. Poor camera placement, narrow field-of-view and other camera pro...
258
click to vote
POPL
2005
ACM
16 years 7 months ago
2005
ACM
We present Rhodium, a new language for writing compiler optimizations that can be automatically proved sound. Unlike our previous work on Cobalt, Rhodium expresses optimizations u...
328
click to vote
POPL
2002
ACM
16 years 7 months ago
2002
ACM
In this paper we propose a scheme that combines type inference and run-time checking to make existing C programs type safe. We describe the CCured type system, which extends that ...
183
click to vote
CADE
2001
Springer
16 years 7 months ago
2001
Springer
Context trees are a popular and effective tool for tasks such as compression, sequential prediction, and language modeling. We present an algebraic perspective of context trees for...
299
click to vote
VLDB
2003
ACM
16 years 7 months ago
2003
ACM
Recent work on querying data streams has focused on systems where newly arriving data is processed and continuously streamed to the user in real time. In many emerging applications...