1246 search results - page 211 / 250 » Recursive Timed Automata |
103
click to vote
JELIA
2010
Springer
15 years 22 days ago
2010
Springer
Abstract. Tabled evaluation is a recognized and powerful implementation technique that overcomes some limitations of traditional Prolog systems in dealing with recursion and redund...
133
click to vote
WALCOM
2010
IEEE
15 years 19 days ago
2010
IEEE
We present two space-efficient algorithms. First, we show how to report a simple path between two arbitrary nodes in a given tree. Using a technique called “computing instead of ...
116
click to vote
ICASSP
2011
IEEE
14 years 6 months ago
2011
IEEE
The problem of dynamical tomography consists in reconstructing a temporal sequence of images from their noisy projections. For this purpose, a recursive algorithm is usually used,...
105
click to vote
IACR
2011
14 years 1 months ago
2011
We put forward a framework for the modular design and analysis of multi-party protocols. Our framework is called “GNUC” (with the recursive meaning “GNUC’s Not UC”), alr...
133
Voted
ICDAR
2011
IEEE
14 years 1 months ago
2011
IEEE
—A method for locating mathematical expressions in document images without the use of optical character recognition is presented. An index of document regions is produced from re...