1402 search results - page 158 / 281 » A Practical Agent Programming Language |
113
click to vote
ICFP
2007
ACM
16 years 2 months ago
2007
ACM
In this paper we present an automated way of using spare CPU resources within a shared memory multi-processor or multi-core machine. Our approach is (i) to profile the execution o...
131
click to vote
DAGSTUHL
2004
15 years 3 months ago
2004
In the last years we have developed a platform for the realization of embodied (conversational) agents, in a distributed logic programming framework. In this paper we will present...
127
click to vote
ENTCS
2007
15 years 2 months ago
2007
We describe a modular programming style that harnesses modern type systems to verify safety conditions in practical systems. This style has three ingredients: (i) A compact kernel...
129
click to vote
SAS
1991
Springer
15 years 5 months ago
1991
Springer
Specializing programs by partial evaluation is well defined extensionally, but in practice no intensional properties, such as what the specialized programs will look like or how ...
126
Voted
ERSHOV
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. A basic cornerstone of the Semantic Web are formal languages for describing resources in a clear and unambiguous way. Logical underpinnings facilitate automated reasoning...