Sciweavers

10666 search results - page 1388 / 2134
» Quantum programming languages
Sort
View
ICALP
2005
Springer
16 years 29 days ago
Optimal In-place Sorting of Vectors and Records
Abstract. We study the problem of determining the complexity of optimal comparison-based in-place sorting when the key length, k, is not a constant. We present the first algorithm...
Gianni Franceschini, Roberto Grossi
UM
2005
Springer
16 years 27 days ago
Using Similarity to Infer Meta-cognitive Behaviors During Analogical Problem Solving
We present a computational framework designed to provide adaptive support aimed at triggering learning from problem-solving activities in the presence of worked-out examples. The k...
Kasia Muldner, Cristina Conati
UM
2005
Springer
16 years 27 days ago
Balancing Awareness and Interruption: Investigation of Notification Deferral Policies
We review experiments with bounded deferral, a method aimed at reducing the disruptiveness of incoming messages and alerts in return for bounded delays in receiving information. Bo...
Eric Horvitz, Johnson Apacible, Muru Subramani
UM
2005
Springer
16 years 27 days ago
A Decomposition Model for the Layered Evaluation of Interactive Adaptive Systems
Abstract. A promising approach towards evaluating adaptive systems is to decompose the adaptation process and evaluate the system in a “piece-wise” manner. This paper presents ...
Alex Paramythis, Stephan Weibelzahl
UM
2005
Springer
16 years 27 days ago
Towards User Modeling Meta-ontology
The paper proposes meta-ontology of the user modeling field. Ontology is meant to structure the state-of-the-art in the field and serve as a central reference point and as a tool t...
Michael Yudelson, Tatiana Gavrilova, Peter Brusilo...
« Prev « First page 1388 / 2134 Last » Next »