571 search results - page 103 / 115 » Domain Theory in Logical Form |
CATA
2003
14 years 11 months ago
2003
This paper presents a basic framework for applying static task scheduling techniques to arbitrarily-structured task systems whose targeted execution environment is comprised of fi...
ICFP
2005
ACM
15 years 9 months ago
2005
ACM
Implementing first-class continuations can pose a challenge if the target machine makes no provisions for accessing and re-installing the run-time stack. In this paper, we present...
ECAI
2000
Springer
15 years 2 months ago
2000
Springer
Several high-level programming languages for programming agents and robots have been proposed in recent years. Each of these languages has its own features and merits. It is still...
FSKD
2010
Springer
14 years 7 months ago
2010
Springer
Uncertainty is the intrinsic property of spatial data and one of important factors affecting the course of spatial data mining. There are diversiform forms for the essentiality an...
SEMWEB
2010
Springer
14 years 7 months ago
2010
Springer
Systems based on statistical and machine learning methods have been shown to be extremely effective and scalable for the analysis of large amount of textual data. However, in the r...