Sciweavers

155 search results - page 9 / 31
» Property Testing and Parameter Testing for Permutations
Sort
View
139
Voted
IOLTS
2008
IEEE
117views Hardware» more  IOLTS 2008»
15 years 10 months ago
Verification and Analysis of Self-Checking Properties through ATPG
Present and future semiconductor technologies are characterized by increasing parameters variations as well as an increasing susceptibility to external disturbances. Transient err...
Marc Hunger, Sybille Hellebrand
136
Voted
MICCAI
2003
Springer
16 years 4 months ago
Determination of the Mechanical Properties of Soft Human Tissues through Aspiration Experiments
Mechanical models for soft human organs are necessary for a variety of medical applications, such as surgical planning, virtual reality surgery simulators, and for diagnostic purpo...
Alessandro Nava, Edoardo Mazza, Frederic Kleinerma...
141
Voted
ICASSP
2010
IEEE
15 years 3 months ago
Voice source estimation for artificial bandwidth extension of telephone speech
Artificial bandwidth extension (ABWE) of speech signals aims to estimate wideband speech (50 Hz – 7 kHz) from narrowband signals (300 Hz – 3.4 kHz). Applying the source-filt...
Mark R. P. Thomas, Jon Gudnason, Patrick A. Naylor...
142
Voted
FASE
2006
Springer
15 years 7 months ago
Regular Inference for State Machines with Parameters
Techniques for inferring a regular language, in the form of a finite automaton, from a sufficiently large sample of accepted and nonaccepted input words, have been employed to cons...
Therese Berg, Bengt Jonsson, Harald Raffelt
147
Voted
BIOINFORMATICS
2007
151views more  BIOINFORMATICS 2007»
15 years 3 months ago
A new protein-protein docking scoring function based on interface residue properties
Motivation: Protein–protein complexes are known to play key roles in many cellular processes. However, they are often not accessible to experimental study because of their low s...
Julie Bernauer, Jérôme Azé, Jo...