1585 search results - page 100 / 317 » A framework for computer-aided validation |
105
click to vote
CRV
2007
IEEE
15 years 9 months ago
2007
IEEE
We propose a new and flexible hierarchical multibaseline stereo algorithm that features a non-uniform spatial decomposition of the disparity map. The visibility computation and r...
107
click to vote
ACCV
2007
Springer
15 years 9 months ago
2007
Springer
This paper introduces a novel convex kernel based method for color constancy computation with explicit illuminant parameter estimation. A simple linear render model is adopted and ...
134
click to vote
CNSR
2005
IEEE
15 years 9 months ago
2005
IEEE
In this paper, a modeling and simulation framework is proposed for generating data for training and testing intrusion detection systems. The framework can develop models of web us...
111
click to vote
ATAL
2005
Springer
15 years 8 months ago
2005
Springer
A new, formal, role-based, framework for modeling and analyzing both real world and artificial organizations is introduced. It exploits static and dynamic properties of the organiz...
124
click to vote
GG
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Adhesive high-level replacement (HLR) categories and systems are introduced as a new categorical framework for graph transformation in a broad sense, which combines the w...