5615 search results - page 1053 / 1123 » Active Learner Modelling |
143
Voted
SIGADA
1999
Springer
15 years 7 months ago
1999
Springer
In this paper we will demonstrate how Ada and its Distributed Annex may be used to relocate concurrent objects in a distributed data ow application. This relocation mechanism will...
109
click to vote
VLDB
1999
ACM
15 years 7 months ago
1999
ACM
XML is fast emerging as the dominant standard for representing data in the World Wide Web. Sophisticated query engines that allow users to effectively tap the data stored in XML d...
141
Voted
AGENTS
1998
Springer
15 years 7 months ago
1998
Springer
The New Millennium Remote Agent NMRA will be the rst AI system to control an actual spacecraft. The spacecraft domain places a strong premium on autonomy and requires dynamic reco...
129
click to vote
DAC
1998
ACM
15 years 7 months ago
1998
ACM
—Functional simulation is still the primary workhorse for verifying the functional correctness of hardware designs. Functional verification is necessarily incomplete because it i...
140
Voted
ECOOPW
1998
Springer
15 years 7 months ago
1998
Springer
This paper explains the structure of a project repository, which enables you to trace business processes and business rules to the architecture and design of the software system. T...