21094 search results - page 334 / 4219 » An experiment using DLV-K |
194
click to vote
DAC
1994
ACM
15 years 11 months ago
1994
ACM
-- In this paper we present a new method for Boolean matching of completely specified Boolean functions. The canonical Generalized Reed-Muller forms are used as a powerful analysis...
185
click to vote
DEBS
2007
ACM
15 years 10 months ago
2007
ACM
In this paper, we describe design motivations and experience with a visual language that treats the architecture of a reactive system as a composition of small, asynchronous softw...
159
click to vote
EUROPAR
2007
Springer
15 years 10 months ago
2007
Springer
How can sequential applications benefit from the ubiquitous next generation of chip multiprocessors (CMP)? Part of the answer may be a dynamic execution environment that automatica...
203
click to vote
ICCTA
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper deals with a new distance measure for genes using their microarray expressions. The distance measure is called, "Maxrange distance", where an experiment speci...
157
click to vote
DGCI
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Existing theories on shape digitization impose strong constraints on feasible shapes and require error-free measurements. We use Delaunay triangulation and -shapes to pro...