Sciweavers

26602 search results - page 5026 / 5321
» A New Imaging Model
Sort
View
LOGCOM
2010
128views more  LOGCOM 2010»
15 years 2 months ago
Comparing LTL Semantics for Runtime Verification
When monitoring a system wrt. a property defined in a temporal logic such as LTL, a major concern is to settle with an adequate interpretation of observable system events; that is,...
Andreas Bauer 0002, Martin Leucker, Christian Scha...
MMAS
2010
Springer
15 years 2 months ago
A Nonlinear PDE-Based Method for Sparse Deconvolution
In this paper, we introduce a new nonlinear evolution partial differential equation for sparse deconvolution problems. The proposed PDE has the form of continuity equation that ar...
Yu Mao, Bin Dong, Stanley Osher
PAMI
2010
162views more  PAMI 2010»
15 years 2 months ago
Differential Earth Mover's Distance with Its Applications to Visual Tracking
The Earth Mover's Distance (EMD) is a similarity measure that captures perceptual difference between two distributions. Its computational complexity, however, prevents a direc...
Qi Zhao, Zhi Yang, Hai Tao
PROCEDIA
2010
129views more  PROCEDIA 2010»
15 years 2 months ago
Car-driving assistance using organization measurement of reactive multi-agent system
This work presents an approach to the obstacle avoidance problem, applicable in the frame of driver assistance. A decision, expressed as a proposed acceleration vector for the veh...
Franck Gechter, Jean-Michel Contet, Pablo Gruer, A...
PVLDB
2010
146views more  PVLDB 2010»
15 years 2 months ago
HaLoop: Efficient Iterative Data Processing on Large Clusters
The growing demand for large-scale data mining and data analysis applications has led both industry and academia to design new types of highly scalable data-intensive computing pl...
Yingyi Bu, Bill Howe, Magdalena Balazinska, Michae...
« Prev « First page 5026 / 5321 Last » Next »