1368 search results - page 88 / 274 » Recursive modules for programming |
106
click to vote
FSTTCS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Pushdown systems (PDSs) are an automata-theoretic formalism for specifying a class of infinite-state transition systems. Infiniteness comes from the fact that each con...
114
click to vote
SAS
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. In this paper we present a scalable pointer analysis for embedded applications that is able to distinguish between instances of recursively defined data structures and e...
137
click to vote
CSL
2006
Springer
15 years 5 months ago
2006
Springer
A complete and decidable propositional logic for reasoning about states of probabilistic sequential programs is presented. The state logic is then used to obtain a sound Hoare-styl...
125
click to vote
EUROGP
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. Turing machines are playing an increasingly significant role in Computer Science domains such as bioinformatics. Instead of directly formulating a solution to a problem, ...
104
Voted
CVPR
2007
IEEE
16 years 4 months ago
2007
IEEE
This paper studies the problem of multibody motion segmentation, which is an important, but challenging problem due to its well-known chicken-and-egg-type recursive character. We ...