14056 search results - page 2489 / 2812 » Consistency in Model Integration |
167
click to vote
ICMI
2004
Springer
16 years 4 days ago
2004
Springer
This paper reports on an NSF-funded effort now underway to integrate three learning technologies that have emerged and matured over the past decade; each has presented compelling ...
244
click to vote
ICSNW
2004
Springer
16 years 4 days ago
2004
Springer
Knowledge Sifter is a scaleable agent-based system that supports access to heterogeneous information sources such as the Web, open-source repositories, XML-databases and the emergi...
180
click to vote
IFM
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. Interactive systems combine a human operator with a computer. Either may be a source of error. The veri cation processes used must ensure both the correctness of the comp...
217
click to vote
KI
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. DTGolog was proposed by Boutilier et al. as an integration of decision-theoretic (DT) planning and the programming language Golog. Advantages include the ability to handl...
203
click to vote
MIDDLEWARE
2004
Springer
16 years 3 days ago
2004
Springer
Software frequently needs to adapt its behavior at run time to respond to changes in its execution environment. Different software components may use different approaches to adap...