1816 search results - page 235 / 364 » Formal Concepts of Learning Systems Validation in Use |
207
click to vote
SIGCSE
2008
ACM
15 years 6 months ago
2008
ACM
The national importance of creating "content reflecting cutting edge developments in STEM fields" has been recognized the National Science Foundation. The National Resea...
189
click to vote
ICDE
2006
IEEE
16 years 13 days ago
2006
IEEE
The dream of pervasive multimedia retrieval and reuse will not be realized without incorporating semantics in the multimedia database. As video data is penetrating many informatio...
194
click to vote
TLSDKCS
2010
15 years 1 months ago
2010
Abstract. With increasing volumes of data, much effort has been devoted to finding the most suitable answer to an information need. However, in many domains, the question whether a...
195
click to vote
ATAL
2011
Springer
14 years 6 months ago
2011
Springer
In multi-agent planning environments, action models for each agent must be given as input. However, creating such action models by hand is difficult and time-consuming, because i...
158
click to vote
FORTE
2004
15 years 7 months ago
2004
Witnesses and counterexamples produced by model checkers provide a very useful source of diagnostic information. They are usually returned in the form of a single computation path ...