2989 search results - page 181 / 598 » Using Domain-Independent Problems for Introducing Formal Met... |
IPPS
2005
IEEE
15 years 3 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...
ICCV
2007
IEEE
15 years 4 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...
151
click to vote
ICDE
2007
IEEE
15 years 11 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...
ICCBR
2010
Springer
15 years 2 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,...
84
Voted
LICS
2010
IEEE
14 years 8 months 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...