834 search results - page 93 / 167 » A Decomposition Technique for Max-CSP |
LOPSTR
2007
Springer
14 years 4 months ago
2007
Springer
This paper introduces a modular framework for termination analysis of logic programming. To this end, we adapt the notions of dependency pairs and dependency graphs (which were dev...
GLVLSI
2006
IEEE
14 years 4 months ago
2006
IEEE
Functional verification is one of the major bottlenecks in microprocessor design. Simulation-based techniques are the most widely used form of processor verification. Efficient ...
IROS
2006
IEEE
14 years 4 months ago
2006
IEEE
— This article introduces a new technique for planning reactionless paths to a point in Cartesian space, for manipulators mounted on a free-floating satellite. It is based on de...
ISCAS
2006
IEEE
14 years 4 months ago
2006
IEEE
— In this paper, a localization based approach of audio signal separation from binary mixtures is carried out. The audio sources are localized in the spatial domain (azimuth plan...
CSB
2005
IEEE
14 years 3 months ago
2005
IEEE
Studying the genetic control of molecular, anatomical and/or morphological phenotypes in model organisms is a powerful tool in the functional analysis of a gene. The goal of our r...