Sciweavers

4451 search results - page 770 / 891
» Continuous model synthesis
Sort
View
FASE
2009
Springer
15 years 1 months ago
Interface Generation and Compositional Verification in JavaPathfinder
Abstract. We present a novel algorithm for interface generation of software components. Given a component, our algorithm uses learning techniques to compute a permissive interface ...
Dimitra Giannakopoulou, Corina S. Pasareanu
HOTOS
2007
IEEE
15 years 1 months ago
Processor Hardware Counter Statistics as a First-Class System Resource
Today's processors provide a rich source of statistical information on program execution characteristics through hardware counters. However, traditionally, operating system (...
Xiao Zhang, Sandhya Dwarkadas, Girts Folkmanis, Ka...
3DPVT
2004
IEEE
181views Visualization» more  3DPVT 2004»
15 years 1 months ago
Segmenting Correlation Stereo Range Images using Surface Elements
This paper describes methods for segmenting planar surfaces from noisy 3D data obtained from correlation stereo vision. We make use of local planar surface elements called patchle...
Don Murray, James J. Little
ACCV
2006
Springer
15 years 1 months ago
Motion Detection in Driving Environment Using U-V-Disparity
Abstract. Motion detection in driving environment, which aims to detect REAL moving objects from continuously changing background, is vital for Adaptive Cruise Control (ACC) applic...
Jia Wang, Zhencheng Hu, Hanqing Lu, Keiichi Uchimu...
ACSC
2004
IEEE
15 years 1 months ago
Adaptive Cooperative Fuzzy Logic Controller
Fuzzy logic is a natural basis for modelling and solving problems involving imprecise knowledge and continuous systems. Unfortunately, fuzzy logic systems are invariably static (o...
Justin Ammerlaan, David Wright