1816 search results - page 202 / 364 » Formal Concepts of Learning Systems Validation in Use |
175
click to vote
FATES
2003
Springer
15 years 11 months ago
2003
Springer
Use of model-checking approaches for test generation from requirement models have been proposed by several researchers. These approaches leverage the witness (or counter-example) ...
187
click to vote
ALT
2003
Springer
16 years 3 months ago
2003
Springer
Solomonoff unified Occam’s razor and Epicurus’ principle of multiple explanations to one elegant, formal, universal theory of inductive inference, which initiated the field...
173
click to vote
WWW
2002
ACM
16 years 7 months ago
2002
ACM
Ontologies play a prominent role on the Semantic Web. They make possible the widespread publication of machine understandable data, opening myriad opportunities for automated info...
189
click to vote
FLAIRS
2008
15 years 8 months ago
2008
One of the central problems in building broad-coverage story understanding systems is generating expectations about event sequences, i.e. predicting what happens next given some a...
180
click to vote
MATA
2001
Springer
15 years 11 months ago
2001
Springer
We take the position that large-scale distributed systems are better understood, at all levels, when locality is taken into account. When communication and mobility are clearly se...