517 search results - page 63 / 104 » On the Intended Interpretations of Actions |
103
click to vote
CAISE
2010
Springer
15 years 3 days ago
2010
Springer
Abstract As service-based Internet systems get increasingly complex they become harder to manage at design time as well as at runtime. Nowadays, many systems are described in terms...
78
Voted
APAL
2010
14 years 11 months ago
2010
A logic-enriched type theory (LTT) is a type theory extended with a primitive mechanism for forming and proving propositions. We construct two LTTs, named LTT0 and LTT 0, which we...
AIR
2006
14 years 11 months ago
2006
In recent years a a number of psycholinguistic experiments have pointed to the interaction between language and vision. In particular, the interaction between visual attention and ...
144
click to vote
CPHYSICS
2007
14 years 11 months ago
2007
Python is a relatively new computing language, created by Guido van Rossum (Tanenbaum et al, 1990), which is particularly suitable for teaching a course in computational physics. ...
JANCL
2007
14 years 11 months ago
2007
Logic of proofs LP introduced by S. Artemov in 1995 describes properties of proof predicate “t is a proof of F” in the propositional language extended by atoms of the form [[t...