1613 search results - page 146 / 323 » Functional and Constraint Logic Programming |
227
click to vote
ICLP
2009
Springer
16 years 4 months ago
2009
Springer
When a logic program is processed by an answer set solver, the first task is to generate its instantiation. In a recent paper, Calimeri et el. made the idea of efficient instantiat...
199
Voted
MMSP
2008
IEEE
15 years 10 months ago
2008
IEEE
—This paper addresses the problem of dense disparity estimation from a pair of color stereo images. Based on a convex set theoretic formulation, the stereo matching problem is ca...
144
click to vote
ICCAD
2003
IEEE
16 years 15 days ago
2003
IEEE
Transmitting compressed data can reduce inter-processor communication traffic and create new opportunities for DVS (dynamic voltage scaling) in distributed embedded systems. Howe...
136
Voted
ISSS
2002
IEEE
15 years 8 months ago
2002
IEEE
This paper presents a new technique for global energy optimization through coordinated functional partitioning and speed selection for embedded processors interconnected by a high...
221
click to vote
MST
2010
15 years 2 months ago
2010
We study a family of problems, called Maximum Solution (Max Sol), where the objective is to maximise a linear goal function over the feasible integer assignments to a set of variab...