2085 search results - page 145 / 417 » Special interest groups |
185
click to vote
FSTTCS
2004
Springer
15 years 12 months ago
2004
Springer
The join of two sets of facts, E1 and E2, is defined as the set of all facts that are implied independently by both E1 and E2. Congruence closure is a widely used representation f...
153
click to vote
NMR
2004
Springer
15 years 12 months ago
2004
Springer
We propose in this paper a new family of belief merging operators, that is based on a game between sources : Until a coherent set of sources is reached, at each round a contest is...
158
click to vote
SBIA
2004
Springer
15 years 12 months ago
2004
Springer
A challenge in hybrid evolutionary algorithms is to define efficient strategies to cover all search space, applying local search only in actually promising search areas. This pape...
168
click to vote
IOLTS
2003
IEEE
15 years 12 months ago
2003
IEEE
A methodology for the synthesis of partially selfchecking multilevel logic circuits with low-cost paritybased concurrent error detection (CED) is described. A subset of the inputs...
186
click to vote
ASAP
2009
IEEE
15 years 11 months ago
2009
IEEE
This paper presents a new constraint-driven method for computational pattern selection, mapping and application scheduling using reconfigurable processor extensions. The presente...