1350 search results - page 4 / 270 » Reasoning about Staged Computation |
BC
2006
15 years 1 months ago
2006
The avian retino-tecto-rotundal pathway plays a central role in motion analysis and features complex connectivity. Yet, the relation between the pathway's structural arrangeme...
148
Voted
UC
2009
Springer
15 years 8 months ago
2009
Springer
We present a logical approach to the separability analysis issue for a functional quantum computation language. This logic is inspired by previous works on logical analysis of alia...
94
Voted
GRC
2005
IEEE
15 years 7 months ago
2005
IEEE
131
click to vote
SIGADA
2007
Springer
15 years 8 months ago
2007
Springer
Teaching beginners predicate transformer semantics for imperative languages is not a trivial task. For Computer Science majors, the teaching of the theoretical material must be su...
103
Voted
AAAI
2007
15 years 4 months ago
2007
This paper presents a formalism to describe practical reasoning in terms of an Action-based Alternating Transition System (AATS). The starting point is a previously specified acc...