17082 search results - page 3169 / 3417 » Abstractions for Mobile Computation |
210
click to vote
AGI
2011
14 years 10 months ago
2011
Abstract. Humans have the remarkable ability to generalize from binocular to monocular figure-ground segmentation of complex scenes. This is clearly evident anytime we look at a p...
156
click to vote
AIPS
2011
14 years 10 months ago
2011
In recent years, there has been considerable interest in the use of planning techniques in new media and computer games. Many traditional planning notions no longer apply in the c...
270
click to vote
BILDMED
2011
14 years 10 months ago
2011
Abstract. In the field of image-guided liver surgery (IGLS), the initial registration of the intra-operative organ surface with preoperative tomographic image data is performed on...
202
click to vote
CAV
2011
Springer
14 years 10 months ago
2011
Springer
Abstract. Quantified Boolean formulae (QBF) allow compact encoding of many decision problems. Their importance motivated the development of fast QBF solvers. Certifying the result...
172
click to vote
CN
2011
14 years 10 months ago
2011
We provide a design of a control and management plane for data networks using the abstraction of 4D architecture, utilizing and extending 4D’s concept of a logically centralized...