16091 search results - page 2913 / 3219 » Solving |
179
click to vote
PREMI
2005
Springer
16 years 8 days ago
2005
Springer
Images constitute data that lives in a very high dimensional space, typically of the order of hundred thousand dimensions. Drawing inferences from data of such high dimensions soon...
194
click to vote
SARA
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. This article introduces a technique for improving the efficiency of diagnosis through approximate compilation. We extend the approach of compiling a diagnostic model, as...
183
Voted
SEMWEB
2005
Springer
16 years 8 days ago
2005
Springer
This paper addresses a major weakness of current technologies for the Semantic Web, namely the lack of a principled means to represent and reason about uncertainty. This not only h...
154
click to vote
TACAS
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. We present jETI, a redesign of the Electronic Tools Integration platform (ETI), that addresses the major issues and concerns accumulated over seven years of experience wi...
183
click to vote
TLCA
2005
Springer
16 years 7 days ago
2005
Springer
In a series of articles, we developed a method to translate general recursive functions written in a functional programming style into constructive type theory. Three problems rema...