1058 search results - page 81 / 212 » Fault-Tolerant Resource Reasoning |
ENTCS
2006
13 years 11 months ago
2006
Separation logic [20,21,14] began life as an extended formalisation of Burstall's treatment of list-mutating programs [8]. It rapidly became clear that there was more that it...
LREC
2008
14 years 17 days ago
2008
Producing machine translation (MT) for the many minority languages in the world is a serious challenge. Minority languages typically have few resources for building MT systems. Fo...
ASAP
1997
IEEE
14 years 2 months ago
1997
IEEE
In the framework of perfect loop nests with uniform dependences, tiling has been extensively studied as a source-to-source program transformation. Little work has been devoted to ...
GIS
2009
ACM
15 years 5 days ago
2009
ACM
In this paper we present algorithms for automatically generating a road network description from aerial imagery. The road network inforamtion (RNI) produced by our algorithm inclu...
GPC
2008
Springer
14 years 6 days ago
2008
Springer
The increasing popularity of personal wireless devices has raised new demands for the efficient discovery of heterogeneous devices and services in pervasive environments. With the...