Sciweavers

4370 search results - page 706 / 874
» Algebra of Logic Programming
Sort
View
132
Voted
CIDR
2009
98views Algorithms» more  CIDR 2009»
15 years 4 months ago
From Declarative Languages to Declarative Processing in Computer Games
Recent work has shown that we can dramatically improve the performance of computer games and simulations through declarative processing: Character AI can be written in an imperati...
Ben Sowell, Alan J. Demers, Johannes Gehrke, Nitin...
138
Voted
ESA
2010
Springer
170views Algorithms» more  ESA 2010»
15 years 4 months ago
Streaming Graph Computations with a Helpful Advisor
Motivated by the trend to outsource work to commercial cloud computing services, we consider a variation of the streaming paradigm where a streaming algorithm can be assisted by a...
Graham Cormode, Michael Mitzenmacher, Justin Thale...
139
Voted
AMAI
2007
Springer
15 years 3 months ago
Decision procedures for extensions of the theory of arrays
The theory of arrays, introduced by McCarthy in his seminal paper “Toward a mathematical science of computation”, is central to Computer Science. Unfortunately, the theory alo...
Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, D...
124
Voted
CONCURRENCY
2006
148views more  CONCURRENCY 2006»
15 years 3 months ago
An adaptive parallel query processing middleware for the Grid
vices provide an important abstract layer on top of heterogeneous components (hardware and software) that take part into a grid environment. In this scenario, applications, like sc...
Vinícius F. V. da Silva, Márcio L. D...
93
Voted
CORR
2006
Springer
94views Education» more  CORR 2006»
15 years 3 months ago
Computing spectral sequences
John McCleary insisted in his interesting textbook entitled "User's guide to spectral sequences" on the fact that the tool "spectral sequence" is not in t...
Ana Romero, Julio Rubio, Francis Sergeraert