8087 search results - page 29 / 1618 » Meta Data Management |
ICML
2000
IEEE
15 years 11 months ago
2000
IEEE
Most machine learning algorithms are lazy: they extract from the training set the minimum information needed to predict its labels. Unfortunately, this often leads to models that ...
CVPR
2006
IEEE
16 years 24 days ago
2006
IEEE
Image segmentation is a fundamental step in many computer vision applications. Generally, the choice of a segmentation algorithm, or parameterization of a given algorithm, is sele...
ICANNGA
2007
Springer
15 years 5 months ago
2007
Springer
Currently the best algorithms for transcription factor binding site predictions are severely limited in accuracy. However, a non-linear combination of these algorithms could improv...
104
click to vote
CSFW
1999
IEEE
15 years 3 months ago
1999
IEEE
Most formal approaches to security protocol analysis are based on a set of assumptions commonly referred to as the "Dolev-Yao model." In this paper, we use a multiset re...
LICS
1994
IEEE
15 years 2 months ago
1994
IEEE
The theory of cut-free sequent proofs has been used to motivate and justify the design of a number of logic programming languages. Two such languages, Prolog and its linear logic ...