909 search results - page 147 / 182 » The Development of the AQ20 Learning System and Initial Expe... |
180
click to vote
JHSN
2000
15 years 5 months ago
2000
Telemedicine is many things to many people. Only until a few years ago, telemedicine was equated to video teleconferencing between physicians, while nowadays, perhaps the most acti...
189
click to vote
EUROSYS
2006
ACM
16 years 2 months ago
2006
ACM
Run-time conflicts can affect even the most rigorously tested software systems. A reliance on execution-based testing makes it prohibitively costly to test every possible interac...
169
click to vote
ATAL
2004
Springer
15 years 9 months ago
2004
Springer
We have developed a set of tools to allow the use of model-checking techniques for the verification of systems directly implemented in an agent-oriented programming language. The ...
202
click to vote
CASES
2006
ACM
15 years 11 months ago
2006
ACM
Developing an optimizing compiler for a newly proposed architecture is extremely difficult when there is only a simulator of the machine available. Designing such a compiler requ...
165
Voted
ICCBR
2001
Springer
15 years 10 months ago
2001
Springer
It is useful for an intelligent software agent to be able to adapt to new demands from an environment. Such adaptation can be viewed as a redesign problem; an agent has some origin...