164 search results - page 10 / 33 » An Investigation into the Expressive Power of PDDL2.1 |
FCT
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. Motivated by considerations in XML theory and model checking, data strings have been introduced as an extension of finite alphabet strings which carry, at each position,...
TARK
2005
Springer
14 years 2 months ago
2005
Springer
Current dynamic epistemic logics often become cumbersome and opaque when common knowledge is added for groups of agents. Still, postconditions regarding common knowledge express t...
CAAP
1990
14 years 15 days ago
1990
The chief purpose of this paper is to appraise the feasibility of Girard’s linear logic as a specification language for parallel processes. To this end we propose an interpreta...
CORR
2010
Springer
13 years 9 months ago
2010
Springer
The performance of spatial multiplexing systems with linear minimum-mean-squared-error receivers is investigated in ad hoc networks. It is shown that single-stream transmission is ...
BMCBI
2005
13 years 9 months ago
2005
Background: Translational power is the cellular rate of protein synthesis normalized to the biomass invested in translational machinery. Published data suggest a previously unreco...