Sciweavers

3629 search results - page 364 / 726
» A More Efficient Use of Delta-CRLs
Sort
View
SAS
1994
Springer
136views Formal Methods» more  SAS 1994»
15 years 11 months ago
Constraint-Based Type Inference and Parametric Polymorphism
Constraint-based analysis is a technique for inferring implementation types. Traditionally it has been described using mathematical formalisms. We explain it in a different and mor...
Ole Agesen
NIPS
2008
15 years 8 months ago
Designing neurophysiology experiments to optimally constrain receptive field models along parametric submanifolds
Sequential optimal design methods hold great promise for improving the efficiency of neurophysiology experiments. However, previous methods for optimal experimental design have in...
Jeremy Lewi, Robert J. Butera, David M. Schneider,...
AIA
2006
15 years 8 months ago
FPGA-Targeted Neural Architecture for Embedded Alertness Detection
Several recent works have used neural networks to discriminate vigilance states in humans from electroencephalographic (EEG) signals. Our study aims at being more exhaustive. It t...
Bernard Girau, Khaled Ben Khalifa
APVIS
2006
15 years 8 months ago
Predicting graph reading performance: a cognitive approach
Performance and preference measures are commonly used in the assessment of visualization techniques. This is important and useful in understanding differences in effectiveness bet...
Weidong Huang, Seok-Hee Hong, Peter Eades
AAAI
1996
15 years 8 months ago
Integrating Grid-Based and Topological Maps for Mobile Robot Navigation
Research on mobile robot navigation has produced two major paradigms for mapping indoorenvironments: grid-based and topological. While grid-based methods produce accurate metric m...
Sebastian Thrun, Arno Bücken