Sciweavers

11328 search results - page 195 / 2266
» Timed Branching Processes
Sort
View
145
Voted
ECAI
2008
Springer
15 years 5 months ago
A Simulation-based Approach for Solving Generalized Semi-Markov Decision Processes
Time is a crucial variable in planning and often requires special attention since it introduces a specific structure along with additional complexity, especially in the case of dec...
Emmanuel Rachelson, Gauthier Quesnel, Fréd&...
ICCAD
2007
IEEE
161views Hardware» more  ICCAD 2007»
16 years 19 days ago
Clustering based pruning for statistical criticality computation under process variations
— We present a new linear time technique to compute criticality information in a timing graph by dividing it into “zones”. Errors in using tightness probabilities for critica...
Hushrav Mogal, Haifeng Qian, Sachin S. Sapatnekar,...
ACCV
2007
Springer
15 years 10 months ago
Learning a Fast Emulator of a Binary Decision Process
Abstract. Computation time is an important performance characteristic of computer vision algorithms. This paper shows how existing (slow) binary-valued decision algorithms can be a...
Jan Sochman, Jiri Matas
ISMIR
2001
Springer
117views Music» more  ISMIR 2001»
15 years 8 months ago
Score Processing For MIR
The focus of this paper is on the design and use of a music score representation. The structure of the representation is discussed and illustrated with sample algorithms, includin...
Donncha Ó. Maidín
131
Voted
ADBIS
1999
Springer
98views Database» more  ADBIS 1999»
15 years 8 months ago
Processing of Spatio-Temporal Queries in Image Databases
Abstract. Overlapping Linear Quadtrees is a structure suitable for storing consecutive raster images according to transaction time (a database of evolving images). This structure s...
Theodoros Tzouramanis, Michael Vassilakopoulos, Ya...