3787 search results - page 571 / 758 » The Use of Agents Techniques on Intelligent Tutoring Systems |
157
click to vote
ATAL
2004
Springer
15 years 12 months ago
2004
Springer
Auctions are useful mechanisms for allocating items (goods, tasks, resources, etc.) in multiagent systems. The bulk of auction theory assumes that the bidders know their own valua...
188
click to vote
GECON
2008
Springer
15 years 7 months ago
2008
Springer
The application of autonomous agents by the provisioning and usage of computational resources is an attractive research field. Various methods and technologies in the area of arti...
170
click to vote
CP
2007
Springer
15 years 10 months ago
2007
Springer
Recently, constraint-programming techniques have been used to generate test data and to verify the conformity of a program with its specification. Constraint generated for these ta...
170
click to vote
FLAIRS
2000
15 years 7 months ago
2000
To date, there is little evidence that modular reasoning about fault-tolerant systems can simplify the verification process in practice. We study this question using a prominent e...
158
click to vote
CIMCA
2005
IEEE
16 years 3 days ago
2005
IEEE
Digital audio devices have been changing music entertainment environment. Those devices are bundled with music jukebox software, such as Apple’s iTunes, Sony’s CONNECT player....