2540 search results - page 262 / 508 » Abstract Logics as Dialgebras |
INFOCOM
2007
IEEE
15 years 7 months ago
2007
IEEE
Abstract— Reliability is critical to a variety of network applications. Unfortunately, due to lack of QoS support across ISP boundaries, it is difficult to achieve even two 9s (...
LICS
2007
IEEE
15 years 7 months ago
2007
IEEE
FreshML extends ML with constructs for declaring and ting abstract syntax trees that involve names and statically scoped binders. It is impure: name generation is an observable si...
109
click to vote
CSCLP
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. The union-find algorithm can be seen as solving simple equations between variables or constants. With a few lines of code change, we generalise its implementation in CHR...
128
Voted
GEOS
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Representing human spatial knowledge has long been a challenging research area. The objective of this paper is to model a route description of human navigation where verb...
104
click to vote
ICCS
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. This paper presents a prototype implementation of an intelligent assistance architecture for data-driven simulation specialising in qualitative data in the social science...