2643 search results - page 186 / 529 » Higher order messaging |
159
click to vote
ITP
2010
15 years 10 months ago
2010
Abstract. We present a new scheme to translate mathematical developments from HOL Light to Coq, where they can be re-used and rechecked. By relying on a carefully chosen embedding ...
179
click to vote
APNOMS
2006
Springer
15 years 10 months ago
2006
Springer
Distributed computing systems are continuously increasing in complexity and cost of managing, and system management tasks require significantly higher levels of autonomic managemen...
185
click to vote
WCRE
1995
IEEE
15 years 10 months ago
1995
IEEE
Reverse engineering of program code is the process of constructing a higher level abstraction of an implementation in order to facilitate the understanding of a system that may be...
143
click to vote
FLAIRS
2001
15 years 7 months ago
2001
Using a generalized adaptive frameworkfor unified cognitive modeling,wereplicate humanperformanceon a standardStrooptask withinan explanatorycomputational modelof vision, language...
141
click to vote
WSC
2004
15 years 7 months ago
2004
In this paper, we consider the relationship between risksensitivity and information. Product estimators are introduced as a generalization of Maximum A Posteriori Probability (MAP...