6960 search results - page 68 / 1392 » Continuity Analysis of Programs |
143
Voted
APWEB
2010
Springer
15 years 5 months ago
2010
Springer
This paper investigates the problem of processing multiple continuous queries over RFID streaming data in RFID middleware. RFID middleware collects and filters RFID sensing data wh...
135
click to vote
IJCAI
2003
15 years 4 months ago
2003
The problem of deriving joint policies for a group of agents that maximize some joint reward function can be modeled as a decentralized partially observable Markov decision proces...
120
Voted
FATES
2003
Springer
15 years 8 months ago
2003
Springer
Generating effective tests and inferring likely program specifications are both difficult and costly problems. We propose an approach in which we can mutually enhance the tests and...
110
Voted
CGF
2008
15 years 2 months ago
2008
We present the Memory Trace Visualizer (MTV), a tool that provides interactive visualization and analysis of the sequence of memory operations performed by a program as it runs. A...
163
Voted
CVPR
2009
IEEE
16 years 9 months ago
2009
IEEE
Convex and continuous energy formulations for low level
vision problems enable efficient search procedures for the
corresponding globally optimal solutions. In this work we
exte...