2638 search results - page 411 / 528 » A Framework for Automatic Debugging |
144
click to vote
PPDP
2007
Springer
16 years 12 days ago
2007
Springer
We propose a framework to construct web-oriented user interfaces in a high-level way by exploiting declarative programming techniques. Such user interfaces are intended to manipul...
187
click to vote
RTA
2007
Springer
16 years 12 days ago
2007
Springer
This paper shows how to construct static analyzers using tree automata and rewriting techniques. Starting from a term rewriting system representing the operational semantics of the...
164
click to vote
SAFECOMP
2007
Springer
16 years 12 days ago
2007
Springer
Abstract. Esterel Technologies’ SCADE Suite is one of the most important development tools for software for safety-critical systems. It is used for designing many critical compon...
168
click to vote
CBMS
2006
IEEE
16 years 11 days ago
2006
IEEE
The growing availability of high throughput measurement devices in the operating room makes possible the collection of a huge amount of data about the state of the patient and the...
166
click to vote
CVPR
2006
IEEE
16 years 10 days ago
2006
IEEE
We present an algorithm for jointly learning a consistent bidirectional generative-recognition model that combines top-down and bottom-up processing for monocular 3d human motion ...