1783 search results - page 251 / 357 » Provenance and Data Synchronization |
119
click to vote
HCI
2009
15 years 1 months ago
2009
Abstract. The P300 Speller has proven to be an effective paradigm for braincomputer interface (BCI) communication. Using this paradigm, studies have shown that a simple linear clas...
138
click to vote
HT
2009
ACM
15 years 1 months ago
2009
ACM
The online games market has matured in recent years. It is now a multi-billion dollar business with hundreds of millions players worldwide. At the same time, social networking pla...
127
click to vote
CDC
2010
IEEE
14 years 11 months ago
2010
IEEE
This paper presents an inertial navigation filter designed for an automotive vehicle not equipped with any GPS receiver. The task of this filter is to provide relative position inf...
171
Voted
PRL
2011
14 years 11 months ago
2011
In some real world applications, such as spectrometry, functional models achieve better predictive performances if they work on the derivatives of order m of their inputs rather t...
204
click to vote
SCP
2011
14 years 11 months ago
2011
A definitional extension LNGMIt of the Calculus of Inductive Constructions (CIC), that underlies the proof assistant Coq, is presented that allows also to program with nested dat...