5506 search results - page 737 / 1102 » Minimal Logic Programs |
129
click to vote
DATE
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper presents a task scheduling method for reliable cache architectures (RCAs) of multiprocessor systems. The RCAs dynamically switch their operation modes for reducing the ...
144
click to vote
ICPR
2006
IEEE
16 years 23 days ago
2006
IEEE
Image registration is the process of geometrically aligning
two or more images. In this paper we describe a method
for registering pairs of images based on thin-plate spline
map...
171
click to vote
SPIRE
2005
Springer
16 years 6 days ago
2005
Springer
We present a new algorithm for generating super condensed neighbourhoods. Super condensed neighbourhoods have recently been presented as the minimal set of words that represent a p...
207
click to vote
ICALP
2004
Springer
16 years 3 days ago
2004
Springer
We study graph orientations that minimize the entropy of the in-degree sequence. The problem of finding such an orientation is an interesting special case of the minimum entropy ...
139
click to vote
OOPSLA
1992
Springer
15 years 10 months ago
1992
Springer
JAC is a Java extension for high-level concurrent programming, meant to hide the notions of threads and synchronization statements from the programmer. Putting into practice the c...