4324 search results - page 272 / 865 » A Generalized Representer Theorem |
170
click to vote
ICCV
2005
IEEE
16 years 7 days ago
2005
IEEE
Recognition of specular objects is particularly difficult because their appearance is much more sensitive to lighting changes than that of Lambertian objects. We consider an appr...
165
click to vote
BIRTHDAY
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. The formal development of industrial-size software is an errorprone and therefore an evolutionary process. Verifying formal specifications usually reveals hidden errors ...
168
click to vote
GI
2004
Springer
16 years 21 hour ago
2004
Springer
Abstract: Optimizations in compilers are the most error-prone phases in the compilation process. Since correct compilers are a vital precondition for software correctness, it is ne...
195
click to vote
CSL
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. In classical approaches to knowledge representation, reasoners are assumed to derive all the logical consequences of their knowledge base. As a result, reasoning in the ...
163
click to vote
CSL
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. We study a weakening of the notion of logical relations, called prelogical relations, that has many of the features that make logical relations so useful but having furth...