1585 search results - page 170 / 317 » A framework for computer-aided validation |
109
click to vote
MST
2006
15 years 3 months ago
2006
The "regularity" of a Boolean function can be exploited for decreasing its minimization time. It has already been shown that the notion of autosymmetry is a valid measure...
128
Voted
MTA
2006
15 years 3 months ago
2006
This paper focuses on the integration of multimodal features for sport video structure analysis. The method relies on a statistical model which takes into account both the shot co...
109
click to vote
IJON
2007
15 years 3 months ago
2007
A novel framework for audio-assisted dialogue detection based on indicator functions and neural networks is investigated. An indicator function defines that an actor is present a...
158
Voted
CORR
2004
Springer
15 years 3 months ago
2004
Springer
In this paper, we present a framework for automatic generation of CHR solvers given the logical specification of the constraints. This approach takes advantage of the power of tab...
128
Voted
IVC
2002
15 years 3 months ago
2002
Camera systems with zoom lenses are inherently more useful than those with passive lenses due to their flexibility and controllability. However, their calibration raises several c...