Sciweavers

77 search results - page 7 / 16
» Illustrating how mechanical assemblies work
Sort
View
ECAI
2010
Springer
13 years 9 months ago
Propagation of Opinions in Structural Graphs
Trust and reputation measures are crucial in distributed open systems where agents need to decide whom or what to choose. Existing work has mainly focused on the reputation of sing...
Nardine Osman, Carles Sierra, Jordi Sabater-Mir
CORR
2012
Springer
163views Education» more  CORR 2012»
12 years 4 months ago
The Structure of Signals: Causal Interdependence Models for Games of Incomplete Information
Traditional economic models typically treat private information, or signals, as generated from some underlying state. Recent work has explicated alternative models, where signals ...
Michael P. Wellman, Lu Hong, Scott E. Page
SEMWEB
2005
Springer
14 years 1 months ago
An Ontological Framework for Dynamic Coordination
Abstract. Coordination is the process of managing the possible interactions between activities and processes; a mechanism to handle such interactions is known as a coordination reg...
Valentina A. M. Tamma, Chris van Aart, Thierry Moy...
BMCBI
2007
141views more  BMCBI 2007»
13 years 8 months ago
On the origin and evolution of biosynthetic pathways: integrating microarray data with structure and organization of the Common
Background: The lysine, threonine, and methionine biosynthetic pathways share the three initial enzymatic steps, which are referred to as the Common Pathway (CP). In Escherichia c...
Marco Fondi, Matteo Brilli, Renato Fani
POPL
2010
ACM
14 years 5 months ago
A Verified Compiler for an Impure Functional Language
We present a verified compiler to an idealized assembly language from a small, untyped functional language with mutable references and exceptions. The compiler is programmed in th...
Adam J. Chlipala