1115 search results - page 15 / 223 » An Abstract Look at Realizability |
FTDCS
2003
IEEE
14 years 24 days 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...
FLOPS
2004
Springer
13 years 11 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...
MASCOTS
2007
13 years 9 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...
ICTAI
2010
IEEE
13 years 5 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...
CHI
2011
ACM
12 years 11 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 ...