4281 search results - page 132 / 857 » How to Disembed a Program |
176
click to vote
AAIP
2009
15 years 3 months ago
2009
The development of software engineering has had a great deal of benefits for the development of software. Along with it came a whole new paradigm of the way software is designed a...
112
Voted
ML
2006
ACM
15 years 2 months ago
2006
ACM
In this paper, we describe the syntax and semantics for a probabilistic relational language (PRL). PRL is a recasting of recent work in Probabilistic Relational Models (PRMs) into ...
130
Voted
FOSSACS
2008
Springer
15 years 4 months ago
2008
Springer
We introduce Erasure Pure Type Systems, an extension to Pure Type Systems with an erasure semantics centered around a type constructor indicating parametric polymorphism. The eras...
122
click to vote
IFIP
1998
Springer
15 years 6 months ago
1998
Springer
Abstract. In this article we identify security threats and requirements for software agent systems in the context of an electronic market. A short description of our own agent syst...
107
Voted
IFIP
1998
Springer
15 years 6 months ago
1998
Springer
In this paper we discuss the need for learning in multi-agent design systems, and the variety of forms it might take. We propose a particular method of guiding learning in these s...