1162 search results - page 50 / 233 » An Information-Based Theory of Conditionals |
APLAS
2003
ACM
14 years 1 months ago
2003
ACM
The chi calculus is studied in the framework incorporating two constructions widely useful in applications: asymmetric communication and mismatch condition. The barbed bisimilarity...
EJC
2007
13 years 7 months ago
2007
We develop a theory of representations in Rm for directed strongly regular graphs, which gives a new proof of a nonexistence condition of Jørgensen [8]. We also describe some new...
FUIN
2007
13 years 7 months ago
2007
Abstract. We review the characterization of communicating finite-state machines whose behaviors have universally or existentially bounded channels. These results rely on the theor...
ATAL
2006
Springer
13 years 11 months ago
2006
Springer
The ability to coordinate effectively is critical for agents to accomplish their goals in a multi-agent system. A number of researchers have modeled the coordination problem for m...
IROS
2009
IEEE
14 years 2 months ago
2009
IEEE
—This paper introduces a method for computing the shape of a continuously-flexible (continuum) robot in 3-D space which includes gravity loading by applying Cosserat rod theory t...