Sciweavers

9316 search results - page 169 / 1864
» Analysis of traceback techniques
Sort
View
136
Voted
ISORC
2008
IEEE
15 years 10 months ago
Compositional Feasibility Analysis of Conditional Real-Time Task Models
Conditional real-time task models, which are generalizations of periodic, sporadic, and multi-frame tasks, represent real world applications more accurately. These models can be c...
Madhukar Anand, Arvind Easwaran, Sebastian Fischme...
DAGM
2009
Springer
15 years 1 months ago
Shadow Detection in Dynamic Scenes Using Dense Stereo Information and an Outdoor Illumination Model
Abstract. We present a system for detecting shadows in dynamic outdoor scenes. The technique is based on fusing background subtraction operations performed on both color and dispar...
Claus B. Madsen, Thomas B. Moeslund, Amit Pal, Sha...
ICDAR
2009
IEEE
15 years 1 months ago
Identification of Very Similar Filled-in Forms with a Reject Option
In this work, a technique addressed to the reliable identification of very similar filled-in forms, with a reject option, is proposed. The method is based on the automatic detecti...
Joaquim Arlandis, Juan Carlos Pérez-Cortes,...
CAV
2012
Springer
334views Hardware» more  CAV 2012»
13 years 6 months ago
Joogie: Infeasible Code Detection for Java
We present Joogie, a tool that detects infeasible code in Java programs. Infeasible code is code that does not occur on feasible controlflow paths and thus has no feasible executi...
Stephan Arlt, Martin Schäf
TVCG
2012
191views Hardware» more  TVCG 2012»
13 years 6 months ago
Direct Isosurface Visualization of Hex-Based High-Order Geometry and Attribute Representations
—In this paper, we present a novel isosurface visualization technique that guarantees the accurate visualization of isosurfaces with complex attribute data defined on (un)structu...
Tobias Martin, Elaine Cohen, Mike Kirby