14235 search results - page 2767 / 2847 » Is computer science science |
157
Voted
TLDI
2005
ACM
15 years 9 months ago
2005
ACM
Completely annotated lambda terms (such as are arrived at via the straightforward encodings of various types from System F) contain much redundant type information. Consequently, ...
113
Voted
VRST
2005
ACM
15 years 9 months ago
2005
ACM
Molecular modeling is an important research area, helping scientists develop new drugs against diseases such as AIDS and cancer. Prior studies have demonstrated that immersive vir...
122
Voted
WPES
2005
ACM
15 years 9 months ago
2005
ACM
This paper introduces a novel approach for augmenting attributebased access control systems in a way that allows them to offer fully anonymous access to resources while at the sam...
148
Voted
AOSE
2005
Springer
15 years 9 months ago
2005
Springer
Abstract Complex systems call for a hierarchical description. Analogously, the engineering of non-trivial MASs (multiagent systems) requires principles and mechanisms for a multi-l...
110
Voted
COLT
2005
Springer
15 years 9 months ago
2005
Springer
The paper deals with the following problem: is returning to wrong conjectures necessary to achieve full power of algorithmic learning? Returning to wrong conjectures complements t...