3221 search results - page 158 / 645 » Termination of Linear Programs |
158
click to vote
ICFP
2002
ACM
16 years 6 months ago
2002
ACM
Packrat parsing is a novel technique for implementing parsers in a lazy functional programming language. A packrat parser provides the power and flexibility of top-down parsing wi...
162
click to vote
CCECE
2006
IEEE
16 years 11 days ago
2006
IEEE
— In this paper, we study a cooperative network with one source-destination pair and a relay assisting their communication. All terminals have multiple antennas, which enables th...
150
click to vote
HYBRID
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. The algorithmic design of least restrictive controllers for hybrid systems that satisfy reachability specifications has received much attention recently. Despite the imp...
136
click to vote
ICC
2009
IEEE
15 years 4 months ago
2009
IEEE
Land Mobile Satellite (LMS) systems can exploit multiple-input-multiple-output (MIMO) techniques in order to achieve high transmission rates. This paper evaluates theoretically the...
169
click to vote
ICFP
2006
ACM
16 years 6 months ago
2006
ACM
We describe an s-expression based syntax-extension framework much like Scheme macros, with a key additional facility: the ability to define static semantics, such as type systems ...