1829 search results - page 110 / 366 » aims 2008 |
ISBI
2008
IEEE
16 years 5 months ago
2008
IEEE
Source localization from EEG surface measurements is an important problem in neuro-imaging. We propose a new mathematical framework to estimate the parameters of a multidipole sou...
CHI
2008
ACM
16 years 5 months ago
2008
ACM
In this workshop we study the research themes and the state-of-the-art of brain-computer interaction. Braincomputer interface research has seen much progress in the medical domain...
150
click to vote
CHI
2008
ACM
16 years 5 months ago
2008
ACM
Physical controls are now ubiquitous in everyday interactions. Empirical studies of physical interactions have traditionally been exploring instrumental aspects such as error rate...
107
click to vote
RECOMB
2008
Springer
16 years 5 months ago
2008
Springer
Abstract. While nonribosomal peptides (NRPs) are of tremendous pharmacological importance, there is currently no technology capable of highthroughput sequencing of NRPs. Difficulti...
134
click to vote
CADE
2008
Springer
16 years 5 months ago
2008
Springer
We describe a framework with which first order theorem provers can be used for checking formal proofs. The main aim of the framework is to take as much advantage as possible from t...