1816 search results - page 50 / 364 » Formal Concepts of Learning Systems Validation in Use |
VLSID
2002
IEEE
14 years 9 months ago
2002
IEEE
Verification is one of the most complex and expensive tasks in the current Systems-on-Chip (SOC) design process. Many existing approaches employ a bottom-up approach to pipeline v...
IADIS
2008
13 years 10 months ago
2008
Multi-relational data mining has become popular due to the limitations of propositional problem definition in structured domains and the tendency of storing data in relational dat...
SG
2007
Springer
14 years 2 months ago
2007
Springer
This paper presents the concept and an evaluation of a novel approach to support students to understand complex spatial relations and to learn unknown terms of a domain-specific t...
ICRA
2003
IEEE
14 years 1 months ago
2003
IEEE
Existing task allocation algorithms generally do not consider the effects of task interaction, such as interference, but instead assume that tasks are independent. That assumptio...
IJAOSE
2007
13 years 8 months ago
2007
The Gaia methodology is a development methodology for multi-agent systems that uses the concept of roles to define behaviour. Gaia uses liveness expressions, which are expression...