1580 search results - page 105 / 316 » Non-Interference Through Determinism |
NOLISP
2005
Springer
14 years 4 months ago
2005
Springer
Abstract. Glottal inverse filtering is a technique used to derive the glottal waveform during voiced speech. Closed phase inverse filtering (CPIF) is a common approach for achiev...
SG
2005
Springer
14 years 4 months ago
2005
Springer
Abstract. Co-referential relations between textual and visual elements in illustrations can be encoded efficiently through textual labels. The labels support students to learn unk...
ACII
2005
Springer
14 years 4 months ago
2005
Springer
The applied prospect of the wearable computer is very extensive，in order to put wearable computer into practice, one of key technologies to be solved is to improve antivibration ...
ADC
2004
Springer
14 years 4 months ago
2004
Springer
In information retrieval, queries can fail to find documents due to mismatch in terminology. Query expansion is a well-known technique addressing this problem, where additional q...
EUROPAR
2004
Springer
14 years 4 months ago
2004
Springer
Several optimization techniques are hindered by uncertainties about the control flow in a program, which can generally not be determined by static methods at compile time. We pres...