1816 search results - page 152 / 364 » Formal Concepts of Learning Systems Validation in Use |
187
click to vote
JCDL
2005
ACM
15 years 12 months ago
2005
ACM
The Exploratorium, an interactive hand-on science museum, is developing an online collection of science learning and teaching resources to better serve educators’ needs for peda...
181
click to vote
AGENTS
1999
Springer
15 years 10 months ago
1999
Springer
Most work on intelligent information agents has thus far focused on systems that are accessible through the World Wide Web. As demanding schedules prohibit people from continuous ...
137
click to vote
AAAI
2004
15 years 7 months ago
2004
We describe a formal framework for diagnosis and repair problems that shares elements of the well known partially observable MDP and cost-sensitive classification models. Our cost...
171
click to vote
FM
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. The correctness of a system according to a given specification is essential, especially for safety-critical applications. One such typical application domain is the autom...
182
click to vote
ACL
2012
13 years 8 months ago
2012
Although much work on relation extraction has aimed at obtaining static facts, many of the target relations are actually fluents, as their validity is naturally anchored to a cer...