1350 search results - page 4 / 270 » Reasoning about Staged Computation |
BC
2006
14 years 9 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...
101
click to vote
UC
2009
Springer
15 years 4 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 3 months ago
2005
IEEE
90
Voted
SIGADA
2007
Springer
15 years 3 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 5 hour 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...