17983 search results - page 234 / 3597 » Set Types and Applications |
278
click to vote
ICLP
2009
Springer
16 years 7 months ago
2009
Springer
We study finding similar or diverse solutions of a given computational problem, in answer set programming, and introduce offline methods and online methods to compute them using an...
139
click to vote
DCC
2005
IEEE
16 years 6 months ago
2005
IEEE
In this paper, we employ the known recursive construction methods to obtain some new existence results for large sets of t-designs of prime sizes. We also present a new recursive ...
189
click to vote
SWAT
2010
Springer
15 years 11 months ago
2010
Springer
This paper presents an O(n2 ) algorithm for deciding isomorphism of graphs that have bounded feedback vertex set number. This number is defined as the minimum number of vertex de...
186
click to vote
RSP
2000
IEEE
15 years 11 months ago
2000
IEEE
Reconfigurable instruction set processors have the capability to adapt their instruction sets to the application being executed through a reconfiguration in their hardware. Throug...
176
click to vote
TABLEAUX
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. Set theory is the common language of mathematics. Therefore, set theory plays an important r^ole in many important applications of automated deduction. In this paper, we ...