1350 search results - page 4 / 270 » Reasoning about Staged Computation |
BC
2006
14 years 11 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...
123
click to vote
UC
2009
Springer
15 years 6 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...
GRC
2005
IEEE
15 years 5 months ago
2005
IEEE
108
click to vote
SIGADA
2007
Springer
15 years 5 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...
AAAI
2007
15 years 2 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...