Sciweavers

3983 search results - page 406 / 797
» Conceptual logic programs
Sort
View
ICSE
1999
IEEE-ACM
15 years 11 months ago
Lightweight Extraction of Object Models from Bytecode
A program’s object model captures the essence of its design. For some programs, no object model was developed during design; for others, an object model exists but may be out-of...
Daniel Jackson, Allison Waingold
SIGMOD
2002
ACM
91views Database» more  SIGMOD 2002»
16 years 6 months ago
Phoenix Project: Fault-Tolerant Applications
After a system crash, databases recover to the last committed transaction, but applications usually either crash or cannot continue. The Phoenix purpose is to enable application s...
Roger S. Barga, David B. Lomet
UM
2009
Springer
16 years 1 months ago
Context-Dependent Personalised Feedback Prioritisation in Exploratory Learning for Mathematical Generalisation
Abstract. In this paper we address the problem of prioritising feedback on the basis of multiple heterogeneous pieces of information in exploratory learning. The problem arises whe...
Mihaela Cocea, George D. Magoulas
UM
2009
Springer
16 years 1 months ago
Social Navigation Support for Information Seeking: If You Build It, Will They Come?
Navigating through the ever-changing information space is becoming increasingly difficult. Social navigation support is a technique for guiding users to interesting and relevant in...
Rosta Farzan, Peter Brusilovsky
UM
2001
Springer
15 years 11 months ago
Applying Interactive Open Learner Models to Learning Technical Terminology
Our work explores an interactive open learner modelling (IOLM) approach where learner diagnosis is considered as an interactive process involving both a computer system and a learn...
Vania Dimitrova, John A. Self, Paul Brna