3926 search results - page 574 / 786 » Deriving Information Requirements from Responsibility Models |
187
click to vote
ICRA
2002
IEEE
16 years 3 days ago
2002
IEEE
This paper presents an approach to the problem of controlling the configuration of a team of mobile agents equipped with cameras so as to optimize the quality of the estimates de...
228
click to vote
LICS
2002
IEEE
16 years 2 days ago
2002
IEEE
Proof-Carrying Code (PCC) is a general framework for verifying the safety properties of machine-language programs. PCC proofs are usually written in a logic extended with language...
192
click to vote
AMAST
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. Algebraic compilers provide a powerful and convenient mechanism for specifying language translators. With each source language operation one associates a computation for ...
200
click to vote
STOC
1997
ACM
15 years 11 months ago
1997
ACM
Abstract. We study online learning algorithms that predict by combining the predictions of several subordinate prediction algorithms, sometimes called “experts.” These simple a...
193
click to vote
MICRO
1996
IEEE
15 years 11 months ago
1996
IEEE
A machine description facility allows compiler writers to specify machine execution constraints to the optimization and scheduling phases of an instruction-level parallelism (ILP)...