Sciweavers

4444 search results - page 760 / 889
» Modelling Dynamic Web Data
Sort
View
AIED
2009
Springer
14 years 4 months ago
Emotion Sensors Go To School
This paper describes the use of sensors in intelligent tutors to detect students' affective states and to embed emotional support. Using four sensors in two classroom experime...
Ivon Arroyo, David G. Cooper, Winslow Burleson, Be...
FMCAD
2009
Springer
14 years 4 months ago
Decision diagrams for linear arithmetic
—Boolean manipulation and existential quantification of numeric variables from linear arithmetic (LA) formulas is at the core of many program analysis and software model checkin...
Sagar Chaki, Arie Gurfinkel, Ofer Strichman
IJCNN
2008
IEEE
14 years 4 months ago
Incremental Common Spatial Pattern algorithm for BCI
— A major challenge in applying machine learning methods to Brain-Computer Interfaces (BCIs) is to overcome the on-line non-stationarity of the data blocks. An effective BCI syst...
Qibin Zhao, Liqing Zhang, Andrzej Cichocki, Jie Li
ICDE
2007
IEEE
135views Database» more  ICDE 2007»
14 years 4 months ago
Cost-Aware Skyline Queries in Structured Overlays
Recently, systems providing access to extremely large data collections, managed in a distributed manner, gain emerging attention. A promising approach to implement the physical la...
Marcel Karnstedt, Jessica Müller, Kai-Uwe Sat...
MDM
2007
Springer
123views Communications» more  MDM 2007»
14 years 4 months ago
Group Anti-Entropy - Achieving Eventual Consistency in Mobile Service Environments
Data consistency protocols are vital ingredients of mobile data management systems. Notable research efforts have been spent to find adequate consistency models for allowing mobi...
Klaus Herrmann