Sciweavers

9186 search results - page 1286 / 1838
» A Module System for Scheme
Sort
View
PUK
2000
15 years 6 months ago
Dynamic Scheduling of Progressive Processing Plans
Progressive processing plans allow systems to tradeoff computational resources against the quality of service by specifying alternative ways in which to accomplish each step. When ...
Shlomo Zilberstein, Abdel-Illah Mouaddib, Andrew A...
181
Voted
AAAI
1994
15 years 6 months ago
A Model of Creative Understanding
Although creativity has largely been studied in problem solving contexts, creativity consists of both a generative component and a comprehension component. In particular, creativi...
Kenneth Moorman, Ashwin Ram
116
Voted
IJCAI
1993
15 years 6 months ago
Symbolic Revision of Theories with M-of-N Rules
This paper presents a major revision of the Either propositional theory re nement system. Two issues are discussed. First, we show howrun timee ciency can be greatlyimproved by ch...
Paul T. Baffes, Raymond J. Mooney
USENIX
1994
15 years 6 months ago
Application-Controlled File Caching Policies
We considerhowtoimprovetheperformanceof le cachingbyallowinguser-levelcontrolover lecache replacementdecisions. Weusetwo-levelcachemanagement: the kernel allocates physical pages ...
Pei Cao, Edward W. Felten, Kai Li
ESORICS
2010
Springer
15 years 6 months ago
Providing Mobile Users' Anonymity in Hybrid Networks
We present a novel hybrid communication protocol that guarantees mobile users' k-anonymity against a wide-range of adversaries by exploiting the capability of handheld devices...
Claudio Agostino Ardagna, Sushil Jajodia, Pierange...
« Prev « First page 1286 / 1838 Last » Next »