1659 search results - page 162 / 332 » From Functional Analysis to Iterative Methods |
158
Voted
VMCAI
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We present a generic framework for the automatic and modular inference of sound class invariants for class-based object oriented languages. The idea is to derive a sound ...
136
Voted
ICCV
1995
IEEE
15 years 7 months ago
1995
IEEE
The fundamental matrix is a basic tool in the analysis of scenes taken with two uncalibrated cameras, and the 8-point algorithm is a frequently cited method for computing the fund...
145
Voted
ACCV
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Motion detection in driving environment, which aims to detect REAL moving objects from continuously changing background, is vital for Adaptive Cruise Control (ACC) applic...
152
Voted
SOCIALCOM
2010
15 years 1 months ago
2010
Increasingly, methods to identify community structure in networks have been proposed which allow groups to overlap. These methods have taken a variety of forms, resulting in a lack...
128
Voted
ICCV
2003
IEEE
16 years 5 months ago
2003
IEEE
This paper discusses building complex classifiers from a single labeled example and vast number of unlabeled observation sets, each derived from observation of a single process or...