Sciweavers

1816 search results - page 26 / 364
» Formal Concepts of Learning Systems Validation in Use
Sort
View
ILP
1998
Springer
14 years 20 days ago
Strongly Typed Inductive Concept Learning
In this paper we argue that the use of a language with a type system, together with higher-order facilities and functions, provides a suitable basis for knowledge representation in...
Peter A. Flach, Christophe G. Giraud-Carrier, John...
SAC
2010
ACM
13 years 3 months ago
A new methodology for photometric validation in vehicles visual interactive systems
This work proposes a new methodology for automatically validating the internal lighting system of an automotive, i.e., assessing the visual quality of an instrument cluster (IC) f...
Alexandre W. C. Faria, David Menotti, Daniel S. D....
IAT
2010
IEEE
13 years 5 months ago
Concept Learning Games: The Game of Query and Response
Abstract--This article deals with the issue of concept learning and tries to have a game theoretic view over the process of cooperative concept learning among agents in a multi-age...
Nima Mirbakhsh, Arman Didandeh, Mohsen Afsharchi
ITRUST
2004
Springer
14 years 1 months ago
The Use of Formal Methods in the Analysis of Trust (Position Paper)
Security and trust are two properties of modern computing systems that are the focus of much recent interest. They play an increasingly significant role in the requirements for mo...
Michael J. Butler, Michael Leuschel, Stépha...
BCSHCI
2009
13 years 9 months ago
Paper-based concept map: the effects of tabletop on an expressive collaborative learning task
Augmented tabletops have recently attracted considerable attention in the literature. However, little has been known about the effects that these interfaces have on learning tasks...
Son Do-Lenh, Frédéric Kaplan, Pierre...