1535 search results - page 132 / 307 » A Graph Based Data Model for Graphics Interpretation |
162
Voted
DAGSTUHL
1996
15 years 4 months ago
1996
An analysis method for specialization of imperative programs is described in this paper. This analysis is an inter-procedural data flow method operating on control flow graphs and...
136
Voted
APSEC
1999
IEEE
15 years 7 months ago
1999
IEEE
For the practical development of provably correct software for embedded systems the close integration of CASE tools and verification tools is required. This paper describes the co...
168
Voted
WSDM
2012
ACM
13 years 11 months ago
2012
ACM
In this work we propose a novel approach to anomaly detection in streaming communication data. We first build a stochastic model for the system based on temporal communication pa...
184
click to vote
ECBS
1996
IEEE
15 years 7 months ago
1996
IEEE
In this paper, it is shown that, through the use of Model-Integrated Program Synthesis MIPS, parallel real-time implementations of image processing data ows can be synthesized fro...
152
Voted
ERCIMDL
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. The PROBADO project is a research effort to develop Digital Library support for non-textual documents. The main goal is to contribute to all parts of the Digital Library...