Sciweavers

3658 search results - page 178 / 732
» Founding properties on measurement
Sort
View
FORMATS
2010
Springer
13 years 7 months ago
Robust Satisfaction of Temporal Logic over Real-Valued Signals
Abstract. We consider temporal logic formulae specifying constraints in continuous time and space on the behaviors of continuous and hybrid dynamical system admitting uncertain par...
Alexandre Donzé, Oded Maler
ISCI
2011
13 years 4 months ago
Sequential covering rule induction algorithm for variable consistency rough set approaches
We present a general rule induction algorithm based on sequential covering, suitable for variable consistency rough set approaches. This algorithm, called VC-DomLEM, can be used f...
Jerzy Blaszczynski, Roman Slowinski, Marcin Szelag
ICIP
1999
IEEE
14 years 11 months ago
Integrating Stereo and Shape from Shading
This paper presents a new method for integrating di erent low level vision modules, stereo and shape from shading, in order to improve the 3D reconstruction of visible surfaces of...
Mostafa G.-H. Mostafa, Sameh M. Yamany, Aly A. Far...
ICSE
2008
IEEE-ACM
14 years 10 months ago
Predicting defects using network analysis on dependency graphs
In software development, resources for quality assurance are limited by time and by cost. In order to allocate resources effectively, managers need to rely on their experience bac...
Thomas Zimmermann, Nachiappan Nagappan
ESEM
2009
ACM
14 years 3 months ago
We need more coverage, stat! classroom experience with the software ICU
For empirical software engineering to reach its fullest potential, we must develop effective, experiential approaches to learning about it in a classroom setting. In this paper, ...
Philip Johnson, Shaoxuan Zhang