Sciweavers

2658 search results - page 386 / 532
» Micro-communication Element System
Sort
View
IAT
2009
IEEE
15 years 11 months ago
CubanSea: Cluster-Based Visualization of Search Results
—In recent years, there has been a move toward supporting the human element of Web search beyond a simple query box and a ranked list of search results. In this paper, we present...
Matthias Tilsner, Orland Hoeber, Adrian Fiech
ICALT
2009
IEEE
15 years 11 months ago
A Framework for Pedagogical Feedback in the Motor Skill Domain
With increasingly rapid development in Computerbased Sport Training (CBST), feedback plays an important role in both coaching and learning. A good CBST system includes not only go...
Yulita Hanum P. Iskandar, Lester Gilbert, Gary B. ...
VL
2009
IEEE
164views Visual Languages» more  VL 2009»
15 years 11 months ago
QueryMarvel: A visual query language for temporal patterns using comic strips
In many domains, decision makers want to find and understand patterns of events as these patterns often give insight into the causal relationships among events. Current systems to...
Jing Jin, Pedro A. Szekely
LICS
2009
IEEE
15 years 11 months ago
Logical Step-Indexed Logical Relations
We show how to reason about “step-indexed” logitions in an abstract way, avoiding the tedious, error-prone, and proof-obscuring step-index arithmetic that seems superficially...
Derek Dreyer, Amal Ahmed, Lars Birkedal
ADBIS
2009
Springer
151views Database» more  ADBIS 2009»
15 years 11 months ago
Rule-Based Management of Schema Changes at ETL Sources
In this paper, we visit the problem of the management of inconsistencies emerging on ETL processes as results of evolution operations g at their sources. We abstract Extract-Transf...
George Papastefanatos, Panos Vassiliadis, Alkis Si...