Sciweavers

3281 search results - page 391 / 657
» An Approach to use Executable Models for Testing
Sort
View
173
Voted
MVA
2000
165views Computer Vision» more  MVA 2000»
15 years 6 months ago
Bayesian Shot Detection Using Structural Weighting
A video stream consists of a number of shots each of which has different boundary types such as cut, fade, and dissolve. Many previous approaches can find the cut boundary without...
Seung-Hoon Han, In-So Kweon, Chang-Yeong Kim, Yang...
169
Voted
VC
2008
190views more  VC 2008»
15 years 4 months ago
Fast collision detection using the A-buffer
This paper presents a novel and fast image-space collision detection algorithm with the A-buffer, where the GPU computes the potentially colliding sets (PCSs), and the CPU performs...
Han-Young Jang, JungHyun Han
MVA
2006
430views Computer Vision» more  MVA 2006»
15 years 4 months ago
Automatic fog detection and estimation of visibility distance through use of an onboard camera
In this paper, we will present a technique for measuring visibility distances under foggy weather conditions using a camera mounted onboard a moving vehicle. Our research has focus...
Nicolas Hautière, Jean-Philippe Tarel, Jean...
ICRA
2010
IEEE
134views Robotics» more  ICRA 2010»
15 years 3 months ago
Design of guaranteed safe maneuvers using reachable sets: Autonomous quadrotor aerobatics in theory and practice
— For many applications, the control of a complex nonlinear system can be made easier by modeling the system as a collection of simplified hybrid modes, each representing a part...
Jeremy H. Gillula, Haomiao Huang, Michael P. Vitus...
ATAL
2009
Springer
15 years 11 months ago
Operational semantics of goal models in adaptive agents
Several agent-oriented software engineering methodologies address the emerging challenges posed by the increasing need of adaptive software. A common denominator of such methodolo...
Mirko Morandini, Loris Penserini, Anna Perini