2448 search results - page 244 / 490 » The Octahedron Abstract Domain |
199
click to vote
SAT
2007
Springer
16 years 23 days ago
2007
Springer
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...
187
click to vote
UM
2007
Springer
16 years 23 days ago
2007
Springer
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...
165
click to vote
DATE
2006
IEEE
16 years 21 days ago
2006
IEEE
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....
181
click to vote
ICMCS
2006
IEEE
16 years 21 days ago
2006
IEEE
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...
160
click to vote
IROS
2006
IEEE
16 years 20 days ago
2006
IEEE
Abstract— This paper explores autonomous locomotion, reaching, grasping and manipulation for the domain of Navigation Among Movable Obstacles (NAMO). The robot perceives and cons...