1757 search results - page 245 / 352 » Alternating Refinement Relations |
115
click to vote
VMCAI
2005
Springer
15 years 9 months ago
2005
Springer
A Herbrand equality between expressions in a program is an equality which holds relative to the Herbrand interpretation of operators. We show that the problem of checking validity ...
127
click to vote
SAC
2004
ACM
15 years 9 months ago
2004
ACM
We consider the generalized assignment problem in which the objective is to find a minimum cost assignment of a set of jobs to a set of agents subject to resource constraints. Th...
113
click to vote
SIGIR
2004
ACM
15 years 9 months ago
2004
ACM
We describe an evaluation of result set filtering techniques for providing ultra-high precision in the task of presenting related news for general web queries. In this task, the n...
150
click to vote
SLIP
2004
ACM
15 years 9 months ago
2004
ACM
Throughput, power consumption, signal integrity, pin count and routing complexity are all increasingly important interconnect issues that the system designer must deal with. Recen...
123
click to vote
DIAGRAMS
2004
Springer
15 years 9 months ago
2004
Springer
Decision trees are a widely used knowledge representation in machine learning. However, one of their main drawbacks is the inherent replication of isomorphic subtrees, as a result...