1999 search results - page 228 / 400 » Finding Reductions Automatically |
107
click to vote
CEC
2009
IEEE
15 years 5 months ago
2009
IEEE
It is generally challenging to design decentralized controllers for swarms of robots because there is often no obvious relation between the individual robot behaviors and the final...
129
click to vote
ECTEL
2007
Springer
15 years 5 months ago
2007
Springer
Currently, large amounts of research exist into the design and implementation of adaptive systems. The complex task of authoring of such systems, or their evaluation, is addressed ...
123
click to vote
CASES
2004
ACM
15 years 5 months ago
2004
ACM
Extensible processors allow addition of application-specific custom instructions to the core instruction set architecture. However, it is computationally expensive to automaticall...
125
click to vote
DAC
2004
ACM
15 years 5 months ago
2004
ACM
In this paper, we formulate symmetry detection for incompletely specified functions as an equation without using cofactor computation and equivalence checking. Based on this equat...
CLEF
2006
Springer
15 years 5 months ago
2006
Springer
We describe a method for recognizing textual entailment that uses the length of the longest common subsequence (LCS) between two texts as its decision criterion. Rather than requi...