Sciweavers

1325 search results - page 123 / 265
» The Incidence Propagation Method
Sort
View
ICARCV
2006
IEEE
101views Robotics» more  ICARCV 2006»
14 years 3 months ago
Road Scene Analysis by Stereovision: a Robust and Quasi-Dense Approach
A stereovision method is presented in this paper, to compute reliable and quasi-dense disparity maps of road scenes using in-vehicle cameras. It combines the advantages of the &qu...
Nicolas Hautière, Raphaël Labayrade, M...
VTS
2006
IEEE
122views Hardware» more  VTS 2006»
14 years 2 months ago
Early, Accurate and Fast Yield Estimation through Monte Carlo-Alternative Probabilistic Behavioral Analog System Simulations
Monte Carlo analysis has so far been the corner stone for analog statistical simulations. Fast and accurate simulations are necessary for stringent time-to-market, design for manu...
Rasit Onur Topaloglu
CPAIOR
2005
Springer
14 years 2 months ago
Filtering Algorithms for the NValue Constraint
Abstract. The NValue constraint counts the number of different values assigned to a vector of variables. Propagating generalized arc consistency on this constraint is NP-hard. We ...
Christian Bessière, Emmanuel Hebrard, Brahi...
SAS
1997
Springer
162views Formal Methods» more  SAS 1997»
14 years 1 months ago
Exact Flow Analysis
We present a type-based flow analysis for simply typed lambda calculus with booleans, data-structures and recursion. The analysis is exact in the following sense: if the analysis ...
Christian Mossin
OOPSLA
1992
Springer
14 years 1 months ago
CACL: Efficient Fine-Grained Protection for Objects
CACL is a protection scheme for objects that offers a simple and flexible model of protection and has an efficient, software-only implementation. The model, based on Access Contro...
Joel E. Richardson, Peter M. Schwarz, Luis-Felipe ...