Sciweavers

3394 search results - page 127 / 679
» A Space and Time Efficient Algorithm for SimRank Computation
Sort
View
SPIN
2010
Springer
13 years 5 months ago
Efficient Explicit-State Model Checking on General Purpose Graphics Processors
We accelerate state space exploration for explicit-state model checking by executing complex operations on the graphics processing unit (GPU). In contrast to existing approaches en...
Stefan Edelkamp, Damian Sulewski
ICTAI
2008
IEEE
14 years 2 months ago
Real-Time Classification of Streaming Sensor Data
The last decade has seen a huge interest in classification of time series. Most of this work assumes that the data resides in main memory and is processed offline. However, recent...
Shashwati Kasetty, Candice Stafford, Gregory P. Wa...
GIS
2006
ACM
13 years 8 months ago
Efficient integration of road maps
Integration of two road maps is finding a matching between pairs of objects that represent, in the maps, the same realworld road. Several algorithms were proposed in the past for ...
Eliyahu Safra, Yaron Kanza, Yehoshua Sagiv, Yerach...
ICCV
1999
IEEE
14 years 10 months ago
Probabilistic Detection and Tracking of Motion Discontinuities
We propose a Bayesian framework for representing and recognizing local image motion in terms of two primitive models: translation and motion discontinuity. Motion discontinuities ...
Michael J. Black, David J. Fleet
ICARCV
2008
IEEE
154views Robotics» more  ICARCV 2008»
14 years 2 months ago
Detecting spurious features using parity space
—Detection of spurious features is instrumental in many computer vision applications. The standard approach is feature based, where extracted features are matched between the ima...
David Törnqvist, Thomas B. Schön, Fredri...