Sciweavers

3637 search results - page 664 / 728
» On Dynamic Bit-Probe Complexity
Sort
View
120
Voted
VIS
2007
IEEE
130views Visualization» more  VIS 2007»
16 years 3 months ago
Interactive Visual Analysis of Perfusion Data
Perfusion data are dynamic medical image data which characterize the regional blood flow in human tissue. These data bear a great potential in medical diagnosis, since diseases can...
Steffen Oeltze, Helmut Doleisch, Helwig Hauser, ...
131
Voted
DAC
2005
ACM
16 years 3 months ago
Hardware speech recognition for user interfaces in low cost, low power devices
We propose a system architecture for real-time hardware speech recognition on low-cost, power-constrained devices. The system is intended to support real-time speech-based user in...
Sergiu Nedevschi, Rabin K. Patra, Eric A. Brewer
ICML
2000
IEEE
16 years 3 months ago
On-line Learning for Humanoid Robot Systems
Humanoid robots are high-dimensional movement systems for which analytical system identification and control methods are insufficient due to unknown nonlinearities in the system s...
Gaurav Tevatia, Jörg Conradt, Sethu Vijayakum...
ICSE
2009
IEEE-ACM
16 years 3 months ago
Taint-based directed whitebox fuzzing
We present a new automated white box fuzzing technique and a tool, BuzzFuzz, that implements this technique. Unlike standard fuzzing techniques, which randomly change parts of the...
Vijay Ganesh, Tim Leek, Martin C. Rinard
117
Voted
SIGSOFT
2009
ACM
16 years 3 months ago
Supporting automatic model inconsistency fixing
Modern development environments often involve models with complex consistency relations. Some of the relations can be automatically established through "fixing procedures&quo...
Yingfei Xiong, Zhenjiang Hu, Haiyan Zhao, Hui Song...