21342 search results - page 3821 / 4269 » A Structured Language Model |
136
click to vote
ASPDAC
2004
ACM
15 years 8 months ago
2004
ACM
The design of complex systems is largely ruled by the time needed for verification. Even though formal methods can provide higher reliability, in practice often simulation based ve...
134
click to vote
ARGMAS
2006
Springer
15 years 8 months ago
2006
Springer
We build on recent work on argumentation frameworks for generating desires and plans. We provide a rich instantiDung's abstract argumentation framework for (i) generating con...
125
click to vote
ATAL
2006
Springer
15 years 8 months ago
2006
Springer
A strength of commitment protocols is that they enable agents to act flexibly, thereby enabling them to accommodate varying local policies and respond to exceptions. A consequent ...
130
click to vote
AUSDM
2006
Springer
15 years 8 months ago
2006
Springer
The Scamseek project, as commissioned by ASIC has the principal objective of building an industrially viable system that retrieves potential scam candidate documents from the Inte...
123
click to vote
AUSDM
2006
Springer
15 years 8 months ago
2006
Springer
If the dataset available to machine learning results from cluster sampling (e.g. patients from a sample of hospital wards), the usual cross-validation error rate estimate can lead...