Sciweavers

17409 search results - page 3154 / 3482
» Oblio: Design and Performance
Sort
View
ISSTA
2004
ACM
16 years 5 days ago
Faster constraint solving with subtypes
Constraints in predicate or relational logic can be translated into boolean logic and solved with a SAT solver. For faster solving, it is common to exploit the typing of predicate...
Jonathan Edwards, Daniel Jackson, Emina Torlak, Vi...
IUI
2004
ACM
16 years 5 days ago
Flexible interface migration
The goal of this work is to provide users immersed in a multi-platform environment with the possibility of interacting with an application while freely moving from one device to a...
Renata Bandelloni, Fabio Paternò
IUI
2004
ACM
16 years 5 days ago
Choosing when to interact with learners
In this paper, we describe a method for pedagogical agents to choose when to interact with learners in interactive learning environments. This method is based on observations of h...
Lei Qu, Ning Wang, W. Lewis Johnson
JCDL
2004
ACM
106views Education» more  JCDL 2004»
16 years 5 days ago
Architecting an extensible digital repository
The Digital Collection and Archives (DCA) in partnership with Academic Technology (AT) at Tufts University developed a digital library solution for long-term storage and integrati...
Anoop Kumar, Ranjani Saigal, Robert Chavez, Nikola...
MM
2004
ACM
122views Multimedia» more  MM 2004»
16 years 5 days ago
Context for semantic metadata
This article argues for the growing importance of quality metadata and the equation of that quality with precision and semantic grounding. Such semantic grounding requires metadat...
Kenneth B. Haase
« Prev « First page 3154 / 3482 Last » Next »