1818 search results - page 268 / 364 » Granularity-Adaptive Proof Presentation |
133
Voted
SOFSEM
2010
Springer
16 years 12 days ago
2010
Springer
Abstract. The first part of this paper presents a new approach for automatically proving nontermination of string rewrite systems. We encode rewrite sequences as propositional for...
121
click to vote
TCC
2010
Springer
16 years 12 days ago
2010
Springer
Abstract. We propose a semantically-secure public-key encryption scheme whose security is polynomialtime equivalent to the hardness of solving random instances of the subset sum pr...
130
Voted
TACAS
2010
Springer
15 years 10 months ago
2010
Springer
Many algorithms on data structures such as terms (finitely branching trees) are naturally implemented by second-order recursion: A first-order procedure f passes itself as an arg...
106
click to vote
TEI
2010
ACM
15 years 10 months ago
2010
ACM
A human-powered user interface device sources its power from the physical effort required to operate it. This paper describes a technique by which a geared DC motor and a simple c...
108
Voted
PERCOM
2009
ACM
15 years 10 months ago
2009
ACM
This paper outlines a series of experiments looking at the annotation and subsequent analysis of skills-based learning and teaching in the domain of Nursing. The experiments used ...