7167 search results - page 539 / 1434 » Answer Set Programming |
139
click to vote
FPL
2001
Springer
15 years 9 months ago
2001
Springer
This paper presents the benefits of using a generic FPGA tool set developed at the university of Brest for programming virtual FPGA structures. From a high level FPGA description,...
116
click to vote
WCRE
1996
IEEE
15 years 9 months ago
1996
IEEE
An important challenge in software reengineering is to encapsulate collections of related data that, due to the absence of appropriate constructs for encapsulation in legacy progr...
173
click to vote
ICALP
1994
Springer
15 years 8 months ago
1994
Springer
A hash table is a representation of a set in a linear size data structure that supports constanttime membership queries. We show how to construct a hash table for any given set of...
154
click to vote
ICALP
1992
Springer
15 years 8 months ago
1992
Springer
The "nearest neighbor" relation, or more generally the "k nearest neighbors" relation, defined for a set of points in a metric space, has found many uses in co...
136
click to vote
APLAS
2007
ACM
15 years 8 months ago
2007
ACM
Abstract. We introduce the concept of guarded saturated sets, saturated sets of strongly normalizing terms closed under folding of corecursive functions. Using this tool, we can mo...