5918 search results - page 774 / 1184 » A view of cloud computing |
222
click to vote
POPL
2004
ACM
16 years 1 months ago
2004
ACM
The ability to summarize procedures is fundamental to building scalable interprocedural analyses. For sequential programs, procedure summarization is well-understood and used rout...
190
click to vote
VRML
2004
ACM
16 years 1 months ago
2004
ACM
Mining operations have traditionally used specialised software packages to process and visualise valuable mining data. The downside to this approach is that the information can on...
170
click to vote
ECAI
2004
Springer
16 years 1 months ago
2004
Springer
d abstract)1 Niek Bergboer Eric Postma Jaap van den Herik Institute for Knowledge and Agent Technology, Universiteit Maastricht, P.O. Box 616, 6200 MD Maastricht It is well known t...
243
click to vote
CIE
2010
Springer
16 years 13 days ago
2010
Springer
Game semantics provides an interactive point of view on proofs, which enables one to describe precisely their dynamical behavior during cut elimination, by considering formulas as ...
210
click to vote
SIGGRAPH
2010
ACM
16 years 3 days ago
2010
ACM
Systems such as Google Street View and Bing Maps Streetside enable users to virtually visit cities by navigating between immersive 360◦ panoramas, or bubbles. The discrete moves...