1816 search results - page 160 / 364 » Formal Concepts of Learning Systems Validation in Use |
168
click to vote
EMSOFT
2008
Springer
15 years 8 months ago
2008
Springer
Relations between models are important for effective automatic validation, for comparing implementations with specifications, and for increased understanding of embedded systems d...
186
click to vote
CSSE
2008
IEEE
15 years 8 months ago
2008
IEEE
: The traditional transportation information inquiry mainly uses key words based on the text, and the service the inquiry system provided is onefold and only aims at one transporti...
143
click to vote
ICMCS
2006
IEEE
16 years 14 days ago
2006
IEEE
With the advent and proliferation of digital cameras and computers, the number of digital photos created and stored by consumers has grown extremely large. This created increasing...
282
click to vote
GECCO
2011
Springer
14 years 10 months ago
2011
Springer
The reward functions that drive reinforcement learning systems are generally derived directly from the descriptions of the problems that the systems are being used to solve. In so...
152
click to vote
IUI
2005
ACM
16 years 6 min ago
2005
ACM
In order for intelligent systems to be applicable in a wide range of situations, end users must be able to modify their task descriptions. We introduce Tailor, a system that allow...