Sciweavers

11168 search results - page 333 / 2234
» Abstract State Processes
Sort
View
KI
2008
Springer
15 years 7 months ago
High-Level Expectations for Low-Level Image Processing
Abstract. Scene interpretation systems are often conceived as extensions of low-level image analysis with bottom-up processing for high-level interpretations. In this contribution ...
Lothar Hotz, Bernd Neumann, Kasim Terzic
ANOR
2002
57views more  ANOR 2002»
15 years 7 months ago
Redefining Event Variables for Efficient Modeling of Continuous-Time Batch Processing
Abstract: We define events so as to reduce the number of events and decision variables needed for modeling batchscheduling problems such as described in [Westenberger and Kallrath ...
Siqun Wang, Monique Guignard
CCE
2010
15 years 4 months ago
Multi-scale methods and complex processes: A survey and look ahead
AbstrAct A comprehensive overview of numerical methodologies currently available for analyzing and building understanding of complex processes is presented. Both equation-free and ...
Angelo Lucia
CPP
2011
99views more  CPP 2011»
14 years 7 months ago
Proof-Carrying Code in a Session-Typed Process Calculus
Abstract. Dependent session types allow us to describe not only properties of the I/O behavior of processes but also of the exchanged data. In this paper we show how to exploit dep...
Frank Pfenning, Luís Caires, Bernardo Tonin...
325
Voted
ICDE
2008
IEEE
190views Database» more  ICDE 2008»
16 years 8 months ago
Efficient Query Processing in Large Traffic Networks
Abstract-- We present an original graph embedding to speedup distance-range and k-nearest neighbor queries on static and/or dynamic objects located on a (weighted) graph. Our metho...
Hans-Peter Kriegel, Matthias Renz, Peer Kröge...