3608 search results - page 582 / 722 » computing 2011 |
205
Voted
AIPS
2011
14 years 7 months ago
2011
We define a probe to be a single action sequence computed greedily from a given state that either terminates in the goal or fails. We show that by designing these probes carefull...
144
Voted
ASPDAC
2011
ACM
2011
ACM
A structured parallel periodic Arnoldi shooting algorithm for RF-PSS analysis based on GPU platforms
14 years 7 months ago
The recent multi/many-core CPUs or GPUs have provided an ideal parallel computing platform to accelerate the timeconsuming analysis of radio-frequency/millimeter-wave (RF/ MM) int...
204
Voted
BILDMED
2011
14 years 7 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...
141
Voted
CAV
2011
Springer
14 years 7 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...
287
click to vote
CIDR
2011
14 years 7 months ago
2011
Cloud computing provides users near instant access to seemingly unlimited resources, and provides service providers the opportunity to deploy complex information technology infras...