2989 search results - page 181 / 598 » Using Domain-Independent Problems for Introducing Formal Met... |
124
click to vote
IPPS
2005
IEEE
15 years 8 months ago
2005
IEEE
The use of pipelined floating-point arithmetic cores to create high-performance FPGA-based computational kernels has introduced a new class of problems that do not exist when usi...
134
Voted
ICCV
2007
IEEE
15 years 8 months ago
2007
IEEE
We introduce a non-linear shape prior for the deformable model framework that we learn from a set of shape samples using recent manifold learning techniques. We model a category o...
187
click to vote
ICDE
2007
IEEE
16 years 3 months ago
2007
IEEE
We introduce the notion of a data topology and the problem of topology search over databases. A data topology summarizes the set of all possible relationships that connect a given...
115
click to vote
ICCBR
2010
Springer
15 years 6 months ago
2010
Springer
The concept of diversity was successfully introduced for recommender-systems. By displaying results that are not only similar to a target problem but also diverse among themselves,...
119
click to vote
LICS
2010
IEEE
15 years 26 days ago
2010
IEEE
This work belongs to a wider effort aimed at eliminating syntactic bureaucracy from proof systems. In this paper, we present a novel cut elimination procedure for classical propos...