Sciweavers

6549 search results - page 148 / 1310
» Parsimonious additive models
Sort
View
PRL
2008
124views more  PRL 2008»
13 years 9 months ago
Modeling human color categorization
Color matching in Content-Based Image Retrieval is done using a color space and measuring distances between colors. Such an approach yields nonintuitive results for the user. We i...
Egon L. van den Broek, Theo E. Schouten, P. M. F. ...
ISSE
2010
13 years 8 months ago
Software model checking without source code
We present a framework, called AIR, for verifying safety properties of assembly language proa software model checking. AIR extends the applicability of predicate abstraction and x...
Sagar Chaki, James Ivers
ACCV
2010
Springer
13 years 5 months ago
Estimating Meteorological Visibility Using Cameras: A Probabilistic Model-Driven Approach
Estimating the atmospheric or meteorological visibility distance is very important for air and ground transport safety, as well as for air quality. However, there is no holistic ap...
Nicolas Hautière, Raouf Babari, Eric Dumont...
JSYML
2011
89views more  JSYML 2011»
13 years 5 months ago
Iterative differential Galois theory in positive characteristic: A model theoretic approach
Abstract. This paper introduces a natural extension of Kolchin’s differential Galois theory to positive characteristic iterative differential fields, generalizing to the non-li...
Javier Moreno
EMISA
2010
Springer
13 years 5 months ago
Investigating the Process of Process Modeling with Cheetah Experimental Platform
Abstract. When assessing the usability of BPM technologies enterprises have to rely on vendor promises or qualitative data rather than on empirical or experimental research. To add...
Jakob Pinggera, Stefan Zugal, Barbara Weber