19798 search results - page 380 / 3960 » Is Structural Subtyping Useful |
112
Voted
ICCV
2005
IEEE
15 years 9 months ago
2005
IEEE
Most work in computer vision has concentrated on studying the individual effects of motion and illumination on a 3D object. In this paper, we present a theory for combining the ef...
148
Voted
TPHOL
2005
IEEE
15 years 9 months ago
2005
IEEE
The nominal approach to abstract syntax deals with the issues of bound names and α-equivalence by considering constructions and properties that are invariant with respect to permu...
121
Voted
VMCAI
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We present an analysis to verify abstract set specifications for programs that use object field values to determine the membership of objects in abstract sets. In our a...
125
Voted
WEBI
2004
Springer
15 years 9 months ago
2004
Springer
The semi-structured information available in HTML and similar documents provide valuable information that can be used for information extraction applications. This information tog...
142
Voted
GECCO
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. In developing algorithms that dynamically changes the structure and weights of ANN (Artificial Neural Networks), there must be a proper balance between network complexit...