3482 search results - page 244 / 697 » Cooperative Assembly Systems |
220
click to vote
IFIP
2004
Springer
16 years 18 days ago
2004
Springer
Abstract We introduce a generic framework for proof carrying code, developed and mechanically verified in Isabelle/HOL. The framework defines and proves sound a verification con...
173
click to vote
ASAP
1996
IEEE
15 years 11 months ago
1996
IEEE
Kestrel is a programmable linear array processor designed for sequence analysis. Among other features, Kestrel includes an 8-bit word, a single-cycle add-and-minimize instruction, ...
171
click to vote
AAAI
1998
15 years 8 months ago
1998
Our argumentation system, NAG, uses Bayesian networks in a user model and in a normative model to assemble and assess arguments which balance persuasiveness with normative correct...
183
click to vote
WSC
1998
15 years 8 months ago
1998
Component-based software can be used to develop highly modular simulation environments supporting high reusability of software components. This paper examines a case study in whic...
188
click to vote
JAIR
2008
15 years 7 months ago
2008
Although recent years have seen a surge of interest in the computational aspects of social choice, no specific attention has previously been devoted to elections with multiple win...