6800 search results - page 717 / 1360 » Testing with Functions as Specifications |
230
click to vote
JAIR
2008
15 years 7 months ago
2008
This paper presents the computational logic foundations of a model of agency called the KGP (Knowledge, Goals and Plan) model. This model allows the specification of heterogeneous...
161
click to vote
JCP
2006
15 years 7 months ago
2006
Compared with conventional two-class learning schemes, one-class classification simply uses a single class in the classifier training phase. Applying one-class classification to le...
195
click to vote
JUCS
2008
15 years 7 months ago
2008
Abstract: Denotational semantics is a powerful technique to formally define programming languages. However, language constructs are not always orthogonal, so many semantic equation...
154
click to vote
KES
2008
Springer
15 years 7 months ago
2008
Springer
In order to coordinate and deliver information in the right time and to the right place, theories from multi-agent systems and information logistics are combined. We use agents to ...
191
click to vote
LOBJET
2008
15 years 7 months ago
2008
Self-adapting software adapts its behavior in an autonomic way, by dynamically adding, suppressing and recomposing components, and by the use of computational reflection. One way t...