13784 search results - page 2182 / 2757 » On Computing Functions with Uncertainty |
268
click to vote
EUROSYS
2010
ACM
16 years 4 months ago
2010
ACM
Cloud computing offers users the ability to access large pools of computational and storage resources on demand. Multiple commercial clouds already allow businesses to replace, or...
205
click to vote
CADE
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. The problem of computing Craig interpolants in SMT has recently received a lot of interest, mainly for its applications in formal verification. Efficient algorithms for ...
197
click to vote
FOCS
2009
IEEE
16 years 1 months ago
2009
IEEE
We prove the existence of an algorithm A for computing 2-d or 3-d convex hulls that is optimal for every point set in the following sense: for every set S of n points and for ever...
244
click to vote
KIVS
2009
Springer
16 years 1 months ago
2009
Springer
User Interfaces for Mobile Processes Sonja Zaplata, Ante Vilenica, Dirk Bade, Christian P. Kunze Distributed Systems and Information Systems, Computer Science Department, Universit...
246
click to vote
MIDDLEWARE
2009
Springer
16 years 1 months ago
2009
Springer
Mobile phones are set to become the universal interface to online services and cloud computing applications. However, using them for this purpose today is limited to two configura...