1115 search results - page 15 / 223 » An Abstract Look at Realizability |
96
Voted
FTDCS
2003
IEEE
15 years 7 months ago
2003
IEEE
This paper considers central issues of distributed computing in a mobile environment. Its aim is to light on the first brick of a common view for mobile systems. We pool together...
152
click to vote
FLOPS
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. This paper describes how high level implementations of (needed) narrowing into Prolog can be improved by analysing definitional trees. First, we introduce a refined repre...
103
click to vote
MASCOTS
2007
15 years 3 months ago
2007
Abstract— Grids have emerged as wide-scale, distributed infrastructures providing enough resources for always more demanding scientific experiments. EGEE is one of the largest s...
130
click to vote
ICTAI
2010
IEEE
14 years 11 months ago
2010
IEEE
Abstract--The difficulties encountered in sequential decisionmaking problems under uncertainty are often linked to the large size of the state space. Exploiting the structure of th...
117
Voted
CHI
2011
ACM
14 years 5 months ago
2011
ACM
We introduce the information flaneur as a new human-centred view on information seeking that is grounded in interdisciplinary research. We use the metaphor of the urban flaneur ...