1699 search results - page 96 / 340 » On the Expressive Power of QLTL |
118
click to vote
PEPM
2011
ACM
14 years 3 months ago
2011
ACM
Passing multiple continuation arguments to a function in CPS form allows one to encode a wide variety of direct-style control constructs, such as conditionals, exceptions, and mul...
109
click to vote
AAAI
2011
14 years 25 days ago
2011
We address the problem of transferring information learned from experiments to a different environment, in which only passive observations can be collected. We introduce a formal ...
109
Voted
CLIMA
2011
14 years 19 days ago
2011
We propose a logical framework to represent and reason about some important aspects of a theory of institutional action: (1) the distinctions between physical facts and actions and...
108
click to vote
ESOP
2012
Springer
13 years 8 months ago
2012
Springer
Abstract. A behavioral contract in a higher-order language may invoke methods of unknown objects. Although this expressive power allows programmers to formulate sophisticated contr...
108
click to vote
CORR
2007
Springer
15 years 19 days ago
2007
Springer
—This paper addresses three issues in the field of ad hoc network capacity: the impact of i) channel fading, ii) channel inversion power control, and iii) threshold–based sche...