Sciweavers

2478 search results - page 233 / 496
» Quadtrees as an Abstract Domain
Sort
View
SARA
2007
Springer
16 years 24 days ago
Tailoring Solver-Independent Constraint Models: A Case Study with Essence' and Minion
In order to apply constraint programming to a particular domain, the problem must first be modelled as a constraint satisfaction problem. There are typically many alternative mode...
Ian P. Gent, Ian Miguel, Andrea Rendl
SAT
2007
Springer
81views Hardware» more  SAT 2007»
16 years 24 days 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...
UM
2007
Springer
16 years 23 days ago
Push-Poll Recommender System: Supporting Word of Mouth
Abstract. Recommender systems produce social networks as a side effect of predicting what users will like. However, the potential for these social networks to aid in recommending i...
Andrew Webster, Julita Vassileva
DATE
2006
IEEE
91views Hardware» more  DATE 2006»
16 years 22 days ago
Virtual prototyping of embedded platforms for wireless and multimedia
Most of the challenges related to the development of multi-processor platforms for complex wireless and multimedia applications fall into the Electronic System Level (ESL) domain....
Tim Kogel, Matthew Braun
ICMCS
2006
IEEE
107views Multimedia» more  ICMCS 2006»
16 years 21 days ago
Complexity Scalable 2 : 1 Resolution Downscaling MPEG-2 to WMV Transcoder with Adaptive Error Compensation
Abstract— In this paper, we focus on 2 : 1 spatial resolution downscaling transcoding from MPEG-2 to WMV. We propose two architectures (for sequences with or without B-frames res...
Guobin Shen, Yuwen He, Wanyong Cao, Shipeng Li