Sciweavers

6583 search results - page 44 / 1317
» Semantic Analysis Patterns
Sort
View
IBPRIA
2003
Springer
15 years 11 months ago
Robust Line Matching and Estimate of Homographies Simultaneously
José Jesús Guerrero, Carlos Sagü...
IBPRIA
2003
Springer
15 years 11 months ago
Modeling High-Order Dependencies in Local Appearance Models
David Guillamet, Baback Moghaddam, Jordi Vitri&agr...
AMAST
1998
Springer
15 years 10 months ago
Type Analysis for CHIP
Abstract. This paper proposes a tool to support reasoning about (partial) correctness of constraint logic programs. The tool infers a speci cation that approximates the semantics o...
Wlodzimierz Drabent, Pawel Pietrzak
OOPSLA
2007
Springer
16 years 3 days ago
Understanding programmer language
The use of bad names — names that are wrong, inconsistent or inconcise — hinder program comprehension. The root of the problem is that there is no mechanism for aligning the n...
Einar W. Høst