Sciweavers

248 search results - page 37 / 50
» Controlling Model Complexity in Flow Estimation
Sort
View
ISMAR
2007
IEEE
14 years 2 months ago
Semi-automatic Annotations in Unknown Environments
Unknown environments pose a particular challenge for augmented reality applications because the 3D models required for tracking, rendering and interaction are not available ahead ...
Gerhard Reitmayr, Ethan Eade, Tom Drummond
ICIP
2003
IEEE
14 years 10 months ago
Object localization using texture motifs and Markov random fields
This work presents a novel approach to object localization in complex imagery. In particular, the spatial extents of objects characterized by distinct spatial signatures at multip...
Shawn Newsam, Sitaram Bhagavathy, B. S. Manjunath
KBSE
2005
IEEE
14 years 2 months ago
A context-sensitive structural heuristic for guided search model checking
Software verification using model checking often translates programs into corresponding transition systems that model the program behavior. As software systems continue to grow i...
Neha Rungta, Eric G. Mercer
WSC
2008
13 years 10 months ago
Simulations-based and solver-based optimization approaches for batch processes in semiconductor manufacturing
Scheduling is one of the key factors for semiconductor fabrication productivity. Objectives like lot cycle time and throughput must be optimized to push the technological developm...
Andreas Klemmt, Sven Horn, Gerald Weigert, Thomas ...
GEOINFO
2003
13 years 10 months ago
Planning Brazilian Urban Traffic with a Geographic Application Software
Planning and optimizing urban traffic is a difficult problem, with considerable economic and social impacts. The development of suitable software tools to aid municipal governments...
Juliano Lopes de Oliveira, André Constantin...