2036 search results - page 257 / 408 » A generic type-and-effect system |
127
Voted
RULEML
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Defeasible reasoning is a rule-based approach for efficient reasoning with incomplete and inconsistent information. Such reasoning is, among others, useful for ontology i...
ACNS
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. In 2008, Groth and Sahai proposed a general methodology for constructing non-interactive zeroknowledge (and witness-indistinguishable) proofs in bilinear groups. While av...
91
Voted
GROUP
2009
ACM
15 years 5 months ago
2009
ACM
Users of social bookmarking systems take advantage of pivot browsing, an interaction technique allowing them to easily refine lists of bookmarks t...
121
Voted
IWPC
1998
IEEE
15 years 5 months ago
1998
IEEE
Cognitive science emphasizes the strength of visual formalisms for human learning and problem solving. In software engineering, a clear, visual presentation of a system's arc...
104
Voted
OOPSLA
1989
Springer
15 years 4 months ago
1989
Springer
Method inheritance and data abstraction are central features of objectoriented programming that are attained through a hierarchical organization of classes. Recent studies have sh...