Sciweavers

1519 search results - page 200 / 304
» The Domain Dependence of Parsing
Sort
View
ITS
2004
Springer
110views Multimedia» more  ITS 2004»
15 years 12 months ago
Scaffolding Self-Explanation to Improve Learning in Exploratory Learning Environments.
Abstract. Successful learning though exploration in open learning environments has been shown to depend on whether students possess the necessary meta-cognitive skills, including s...
Andrea Bunt, Cristina Conati, Kasia Muldner
KR
2004
Springer
15 years 12 months ago
How to Interweave Knowledge about Object Structure and Concepts
This article presents a general framework for integrating reasoning about object structure and concept taxonomies. The structural relations in the domain of objects discussed are ...
Carola Eschenbach
MPC
2004
Springer
97views Mathematics» more  MPC 2004»
15 years 12 months ago
Friends Need a Bit More: Maintaining Invariants Over Shared State
A friendship system is introduced for modular static verification of object invariants. It extends a previous methodology, based on ownership hierarchy encoded in auxiliary state,...
Michael Barnett, David A. Naumann
ROBOCUP
2004
Springer
121views Robotics» more  ROBOCUP 2004»
15 years 12 months ago
Exploring Auction Mechanisms for Role Assignment in Teams of Autonomous Robots
We are exploring the use of auction mechanisms to assign roles within a team of agents operating in a dynamic environment. Depending on the degree of collaboration between the agen...
Vanessa Frías-Martínez, Elizabeth Sk...
ARITH
2003
IEEE
15 years 11 months ago
Revisiting SRT Quotient Digit Selection
The quotient digit selection in the SRT division algorithm is based on a few most significant bits of the remainder and divisor, where the remainder is usually represented in a r...
Peter Kornerup