Sciweavers

840 search results - page 130 / 168
» Universal Metadata Standard
Sort
View
ICALT
2005
IEEE
14 years 2 months ago
LM-DTM: An Environment for XML-Based, LIP/PAPI-Compliant Deployment, Transformation and Matching of Learner Models
Our shared belief is that learning, like other human activities, cannot and will not be confined within rigidly defined course systems or learning repositories, inclosing learning...
Mohamed Amine Chatti, Ralf Klamma, Christoph Quix,...
IPPS
2005
IEEE
14 years 2 months ago
User Transparent Parallel Processing of the 2004 NIST TRECVID Data Set
The Parallel-Horus framework, developed at the University of Amsterdam, is a unique software architecture that allows non-expert parallel programmers to develop fully sequential m...
Frank J. Seinstra, Cees Snoek, Dennis Koelma, Jan-...
SIGCSE
2005
ACM
192views Education» more  SIGCSE 2005»
14 years 2 months ago
Ubiquitous presenter: increasing student access and control in a digital lecturing environment
The University of Washington’s Classroom Presenter lecturing system enables an active lecturing environment by combining a standard electronic slide presentation format with the...
Michelle Wilkerson, William G. Griswold, Beth Simo...
SMA
2005
ACM
125views Solid Modeling» more  SMA 2005»
14 years 2 months ago
One-dimensional selections for feature-based data exchange
In the parametric feature based design paradigm, most features possess arguments that are subsets of the boundary of the current model, subsets defined interactively by user sele...
Ari Rappoport, Steven N. Spitz, Michal Etzion
CP
2005
Springer
14 years 2 months ago
Using SAT in QBF
QBF is the problem of deciding the satisfiability of quantified boolean formulae in which variables can be either universally or existentially quantified. QBF generalizes SAT (S...
Horst Samulowitz, Fahiem Bacchus