Sciweavers

9832 search results - page 226 / 1967
» An Object Model for Multiprogramming
Sort
View
TSE
2008
146views more  TSE 2008»
15 years 6 months ago
Delta Execution for Efficient State-Space Exploration of Object-Oriented Programs
We present Delta Execution, a technique that speeds up state-space exploration of object-oriented programs. Statespace exploration is the essence of model checking and an increasin...
Marcelo d'Amorim, Steven Lauterburg, Darko Marinov
DASFAA
2011
IEEE
311views Database» more  DASFAA 2011»
14 years 10 months ago
3D Indoor Route Planning for Arbitrary-Shape Objects
Route planning, which is used to calculate feasible routes in a given environment, is one of the key issues in navigation systems. According to different constraints in different...
Wenjie Yuan, Markus Schneider
ICCV
1995
IEEE
15 years 10 months ago
Fast Object Recognition in Noisy Images Using Simulated Annealing
A fast simulatedannealingalgorithmis developed for automatic object recognition. The object recognition problem is addressed as the problem of best describing a match between a hy...
Margrit Betke, Nicholas C. Makris
PG
1997
IEEE
15 years 10 months ago
3D geometric metamorphosis based on harmonic map
Recently, animations with deforming objects are frequently used in various Computer Graphics applications. Metamorphosis (or morphing) of three dimensional objects is one of techn...
Takashi Kanai, Hiromasa Suzuki, Fumihiko Kimura
DICTA
2007
15 years 8 months ago
Visual Tracking Based on Color Kernel Densities of Spatial Awareness
We propose a kernel-density based scheme that incorporates the object colors with their spatial relevance to track the object in a video sequence. The object is modeled by the col...
Zhuan Qing Huang, Zhuhan Jiang