1246 search results - page 67 / 250 » Recursive Timed Automata |
134
click to vote
ESOP
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. We survey recent developments in an approach to the verification of higher-order computation based on game semantics. Higherorder recursion schemes are in essence (progra...
128
Voted
ECCC
2000
15 years 2 months ago
2000
Deterministic k-tape and multitape Turing machines with one-way, two-way and without a separated input tape are considered. We investigate the classes of languages acceptable by s...
COR
2006
15 years 2 months ago
2006
A fast and new heuristic recursive algorithm to find a minimum height for two-dimensional strip rectangular packing problem is presented. This algorithm is mainly based on heurist...
ICC
2007
IEEE
15 years 8 months ago
2007
IEEE
— A multiple-input multiple-output (MIMO) system, where multiple antennas are used at both transmitter and receiver, has been a promising technique for realizing highspeed wirele...
142
click to vote
PODS
1992
ACM
15 years 6 months ago
1992
ACM
: We study the problem of determining whether a given recursive Datalog program is equivalent to a given nonrecursive Datalog program. Since nonrecursive Datalog programs are equiv...