Sciweavers

6704 search results - page 292 / 1341
» Testing Scenario-Based Models
Sort
View
CORR
2002
Springer
128views Education» more  CORR 2002»
15 years 6 months ago
The Deductive Database System LDL++
This paper describes the LDL++ system and the research advances that have enabled its design and development. We begin by discussing the new nonmonotonic and nondeterministic cons...
Faiz Arni, KayLiang Ong, Shalom Tsur, Haixun Wang,...
ICIP
1998
IEEE
16 years 8 months ago
Hardware Architecture for Optical Flow Estimation in Real Time
Optical flow estimation from image sequences has been for several years a mathematical process carried out by general purpose processors in no real time. In this work a specific a...
Aitzol Zuloaga, José Luis Martín, Jo...
ACSAC
2007
IEEE
16 years 1 months ago
Automated Vulnerability Analysis: Leveraging Control Flow for Evolutionary Input Crafting
We present an extension of traditional "black box" fuzz testing using a genetic algorithm based upon a Dynamic Markov Model fitness heuristic. This heuristic allows us t...
Sherri Sparks, Shawn Embleton, Ryan Cunningham, Cl...
140
Voted
FSR
2003
Springer
131views Robotics» more  FSR 2003»
15 years 12 months ago
Automatic 3D Underground Mine Mapping
For several years, our research group has been developing methods for automated modeling of 3D environments. In September, 2002, we were given the opportunity to demonstrate our m...
Daniel F. Huber, Nicolas Vandapel
VRST
2000
ACM
15 years 11 months ago
A framework for rapid evaluation of prototypes with augmented reality
In this paper we present a new framework in Augmented Reality context for rapid evaluation of prototypes before manufacture. The design of such prototypes is a time consuming proc...
Selim Balcisoy, Marcelo Kallmann, Pascal Fua, Dani...