2086 search results - page 224 / 418 » Mathematical Theory Exploration |
114
click to vote
EJC
2010
15 years 3 months ago
2010
In our previous paper, we presented the combinatorial theory for minimal isostatic pinned frameworks - Assur graphs - which arise in the analysis of mechanical linkages. In this p...
138
click to vote
JLP
2008
15 years 3 months ago
2008
We explore the power of relational semantics and equational reasoning in the style of Kleene algebra for analyzing programs with mutable, statically scoped local variables. We prov...
107
click to vote
IJIS
2007
15 years 3 months ago
2007
This paper reviews recent advances in the interdisciplinary area lying between artificial intelligence and the theory of argumentation. The paper has two distinct foci: first, exam...
137
click to vote
JMM2
2007
15 years 3 months ago
2007
— This thesis explores the creative possibilities and implications of Augmented Reality, not just as a specific technology of computer science, but as one of high technologies th...
138
click to vote
LOGCOM
2007
15 years 3 months ago
2007
Structural causal models offer a popular framework for exploring causal concepts. However, due to their limited expressiveness, structural models have difficulties coping with su...