Sciweavers

696 search results - page 71 / 140
» Prioritising Preference Relations
Sort
View
SAT
2007
Springer
81views Hardware» more  SAT 2007»
15 years 6 months ago
Short XORs for Model Counting: From Theory to Practice
Abstract. A promising approach for model counting was recently introduced, which in theory requires the use of large random xor or parity constraints to obtain near-exact counts of...
Carla P. Gomes, Jörg Hoffmann, Ashish Sabharw...
AUIC
2006
IEEE
15 years 6 months ago
From pushing buttons to play and progress: value and interaction in fable
A value can be understood as a belief that one mode of conduct is preferable to others. The user-interface of computer games mediates all player conduct in the game and is therefo...
Pippin Barr, James Noble, Robert Biddle, Rilla Kha...
ICMCS
2006
IEEE
120views Multimedia» more  ICMCS 2006»
15 years 6 months ago
Shape-Based Visual Query Rewriting
A visual query is based on pictorial representation of conceptual entities and operations. One of the most important features used in visual queries is the shape. Despite its intu...
Georges Chalhoub, Richard Chbeir, Kokou Yét...
ITCC
2005
IEEE
15 years 5 months ago
A Survey of Peer-to-Peer Storage Techniques for Distributed File Systems
The popularity of distributed file systems continues to grow. Reasons they are preferred over traditional centralized file systems include fault tolerance, availability, scalabili...
Ragib Hasan, Zahid Anwar, William Yurcik, Larry Br...
TIME
2005
IEEE
15 years 5 months ago
A Local Method for Prioritized Fusion of Temporal Information
Information often comes from different sources and merging these sources usually leads to the apparition of inconsistencies. Fusion is the operation which consists in restoring th...
Mahat Khelfallah, Belaid Benhamou