20126 search results - page 3829 / 4026 » Timed Transition Systems |
131
Voted
IEEEVAST
2010
14 years 10 months ago
2010
The process of learning models from raw data typically requires a substantial amount of user input during the model initialization phase. We present an assistive visualization sys...
145
click to vote
LOGCOM
2010
14 years 10 months ago
2010
Gentzen systems are introduced for Spinks and Veroff's substructural logic corresponding to constructive logic with strong negation, and some logics in its vicinity. It has b...
164
Voted
SIGKDD
2010
14 years 10 months ago
2010
Mobile devices are becoming increasingly sophisticated and the latest generation of smart cell phones now incorporates many diverse and powerful sensors. These sensors include GPS...
155
Voted
TSP
2010
14 years 10 months ago
2010
We propose a novel equalization method for doubly selective wireless channels, whose taps are represented by an arbitrary Basis Expansion Model (BEM). We view such a channel in the...
183
Voted
WH
2010
14 years 10 months ago
2010
Ubiquitous physiological monitoring will be a key driving force in the upcoming wireless health revolution. Cardiac and brain signals in the form of ECG and EEG are two critical h...