Sciweavers

1002 search results - page 93 / 201
» Constraint Answer Set Solving
Sort
View
GECCO
2005
Springer
126views Optimization» more  GECCO 2005»
15 years 11 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»
15 years 11 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»
16 years 1 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»
16 years 7 days 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»
16 years 5 days 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