Sciweavers

12836 search results - page 2120 / 2568
» Generalization Methods in Bioinformatics
Sort
View
GLVLSI
2009
IEEE
323views VLSI» more  GLVLSI 2009»
15 years 4 months ago
MYGEN: automata-based on-line test generator for assertion-based verification
To assist in dynamic assertion-based verification, we present a method to automatically build a test vector generator from a temporal property. Based on the duality between monito...
Yann Oddos, Katell Morin-Allory, Dominique Borrion...
HCI
2009
15 years 4 months ago
Mind Monitoring via Mobile Brain-Body Imaging
Current brain-computer interface (BCI) research attempts to estimate intended operator body or cursor movements from his/her electroencephalographic (EEG) activity alone. More gene...
Scott Makeig
HCI
2009
15 years 4 months ago
Assessment of Psychophysiological Differences of West Point Cadets and Civilian Controls Immersed within a Virtual Environment
An important question for ecologically valid virtual environments is whether cohort characteristics affect immersion. If a method for assessing a certain neurocognitive capacity (e...
Thomas D. Parsons, Christopher G. Courtney, Louise...
188
Voted
HT
2009
ACM
15 years 4 months ago
Retrieving broken web links using an approach based on contextual information
In this short note we present a recommendation system for automatic retrieval of broken Web links using an approach based on contextual information. We extract information from th...
Juan Martinez-Romo, Lourdes Araujo
ICASSP
2009
IEEE
15 years 4 months ago
Fast belief propagation process element for high-quality stereo estimation
Belief propagation is a popular global optimization technique for many computer vision problems. However, it requires extensive computation due to the iterative message passing op...
Chao-Chung Cheng, Chia-Kai Liang, Yen-Chieh Lai, H...
« Prev « First page 2120 / 2568 Last » Next »