Sciweavers

1002 search results - page 93 / 201
» Constraint Answer Set Solving
Sort
View
GECCO
2005
Springer
126views Optimization» more  GECCO 2005»
14 years 1 months ago
Evolutionary computation methods for synchronization of effects based operations
Effects based operations (EBO) is a concept based on the premise that a desired strategic outcome can be achieved through synergistic, multiplicative, and cumulative application ...
Jeffrey P. Ridder
CHARME
2003
Springer
196views Hardware» more  CHARME 2003»
14 years 1 months ago
Analyzing the Intel Itanium Memory Ordering Rules Using Logic Programming and SAT
We present a non-operational approach to specifying and analyzing shared memory consistency models. The method uses higher order logic to capture a complete set of ordering constra...
Yue Yang, Ganesh Gopalakrishnan, Gary Lindstrom, K...
DASFAA
2009
IEEE
129views Database» more  DASFAA 2009»
14 years 3 months ago
Towards Preference-Constrained k-Anonymisation
Abstract. In this paper, we propose a novel preference-constrained approach to k-anonymisation. In contrast to the existing works on kanonymisation which attempt to satisfy a minim...
Grigorios Loukides, Achilles Tziatzios, Jianhua Sh...
CRV
2006
IEEE
223views Robotics» more  CRV 2006»
14 years 2 months ago
Disparity Map Estimation Using A Total Variation Bound
This paper describes a new variational method for estimating disparity from stereo images. The stereo matching problem is formulated as a convex programming problem in which an ob...
Wided Miled, Jean-Christophe Pesquet
MMM
2006
Springer
130views Multimedia» more  MMM 2006»
14 years 2 months ago
Detailed audiovisual profile: enabling interoperability between MPEG-7 based systems
MPEG-7 is an excellent choice for the description of audiovisual content due to its flexibility and comprehensiveness. The drawback is that these properties also increase the comp...
Werner Bailer, Peter Schallauer