Sciweavers

14121 search results - page 481 / 2825
» Interval Computations in Computer Vision
Sort
View
VMCAI
2005
Springer
16 years 10 days ago
An Overview of Semantics for the Validation of Numerical Programs
Interval computations, stochastic arithmetic, automatic differentiation, etc.: much work is currently done to estimate and to improve the numerical accuracy of programs but few c...
Matthieu Martel
MDM
2004
Springer
110views Communications» more  MDM 2004»
16 years 7 days ago
Universal Trajectory Queries for Moving Object Databases
In this paper, we consider a data model for uncertain trajectories of moving objects. In our model, the trajectory is a vector of uniform stochastic processes. We study “univers...
Hoda Mokhtar, Jianwen Su
GRAPHICSINTERFACE
2007
15 years 8 months ago
Isochords: visualizing structure in music
Isochords is a visualization of music that aids in the classification of musical structure. The Isochords visualization highlights the consonant intervals between notes and commo...
Tony Bergstrom, Karrie Karahalios, John C. Hart
AI
2008
Springer
15 years 7 months ago
Reachability analysis of uncertain systems using bounded-parameter Markov decision processes
Verification of reachability properties for probabilistic systems is usually based on variants of Markov processes. Current methods assume an exact model of the dynamic behavior a...
Di Wu, Xenofon D. Koutsoukos
AUTOMATICA
2008
98views more  AUTOMATICA 2008»
15 years 7 months ago
Stability and stabilization of nonuniform sampling systems
This paper is concerned with nonuniform sampling systems, where the sampling interval is time-varying within a certain known bound. The system is transformed into a time-varying d...
Young Soo Suh