17298 search results - page 3210 / 3460 » Abstract computing machines |
130
click to vote
AIPS
2011
14 years 8 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...
215
click to vote
BILDMED
2011
14 years 8 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...
153
click to vote
CAV
2011
Springer
14 years 8 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...
134
click to vote
CN
2011
14 years 8 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...
209
click to vote
DBSEC
2011
14 years 8 months ago
2011
Abstract. With sensors and mobile devices becoming ubiquitous, situation monitoring applications are becoming a reality. Data Stream Management Systems (DSMSs) have been proposed t...