6554 search results - page 964 / 1311 » Constraint Logic Programming |
120
click to vote
ICCD
2000
IEEE
16 years 2 months ago
2000
IEEE
This paper presents a very general, exact technique for scheduling looping data-flow graphs. In contrast to the conventional technique using loop iteration variables and integer ...
115
click to vote
ICSE
2009
IEEE-ACM
15 years 12 months ago
2009
IEEE-ACM
Our goal is to use the vast repositories of available open source code to generate specific functions or classes that meet a user’s specifications. The key words here are spec...
124
click to vote
ICASSP
2009
IEEE
15 years 12 months ago
2009
IEEE
A computationally efficient distributed beamforming technique for multi-user relay networks is developed. The channel state information is assumed to be known at the relays or de...
129
click to vote
CAISE
2007
Springer
15 years 11 months ago
2007
Springer
Several methods based upon textual programming languages or graphical notations have been proposed for manual modeling of business process models. But since manual process modeling...
120
click to vote
ICPR
2006
IEEE
15 years 11 months 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...