596 search results - page 55 / 120 » Subtyping Recursive Types |
157
click to vote
IBERAMIA
2010
Springer
14 years 11 months ago
2010
Springer
In a recent paper [2] the authors have formalized a recursive semantics for warranted conclusions in a general defeasible argumentation framework based on a propositional logic. Th...
119
click to vote
ENTCS
2010
15 years 1 months ago
2010
Solutions of recursive program schemes over a given signature were characterized by Bruno Courcelle as precisely the context-free (or algebraic) -trees. These are the finite and ...
116
click to vote
CDC
2008
IEEE
15 years 7 months ago
2008
IEEE
Abstract— Recursive state estimation is considered for discrete time linear systems with mixed process and measurement disturbances that have stochastic and (convex) set-bounded ...
123
click to vote
SIGMOD
2005
ACM
15 years 7 months ago
2005
ACM
Recursion represents an important addition to the SQL language. This work focuses on the optimization of linear requeries in SQL. To provide an abstract framework for discussion, ...
206
click to vote
MICRO
2012
IEEE
13 years 3 months ago
2012
IEEE
This article presents a general algorithm for transforming sequential imperative programs into parallel data-flow programs. Our algorithm operates on a program dependence graph i...