Sciweavers

3179 search results - page 197 / 636
» Applications of PCF Theory
Sort
View
CIE
2005
Springer
14 years 3 months ago
Computably Enumerable Sets in the Solovay and the Strong Weak Truth Table Degrees
The strong weak truth table reducibility was suggested by Downey, Hirschfeldt, and LaForte as a measure of relative randomness, alternative to the Solovay reducibility. It also occ...
George Barmpalias
CCS
2004
ACM
14 years 3 months ago
Reusable cryptographic fuzzy extractors
We show that a number of recent definitions and constructions of fuzzy extractors are not adequate for multiple uses of the same fuzzy secret—a major shortcoming in the case of...
Xavier Boyen
SBIA
2004
Springer
14 years 3 months ago
DiZer: An Automatic Discourse Analyzer for Brazilian Portuguese
This paper presents DiZer, an automatic DIscourse analyZER for Brazilian Portuguese. Given a source text, the system automatically produces its corresponding rhetorical analysis, f...
Thiago Alexandre Salgueiro Pardo, Maria das Gra&cc...
ICRA
2003
IEEE
141views Robotics» more  ICRA 2003»
14 years 3 months ago
Knot planning from observation
—The learning from observation (LFO) paradigm has been widely applied in various types of robot systems. It helps reduce the work of the programmer. However, the applications of ...
Takuma Morita, Jun Takamatsu, Koichi Ogawara, Hiro...
IWPC
2003
IEEE
14 years 3 months ago
Observing and Measuring Cognitive Support: Steps Toward Systematic Tool Evaluation and Engineering
A key desideratum for many software comprehension tools is to reduce the mental burdens of software engineers. That is, the tools should support cognition. This key benefit is di...
Andrew Walenstein