1438 search results - page 228 / 288 » An Expressive Extension of TLC |
VTC
2010
IEEE
14 years 8 months ago
2010
IEEE
—We present the ǫ-outage capacity in the low signal-to-noise ratio (SNR) regime of an incremental relaying network. The network consists of one source, one destination, and two ...
CDC
2010
IEEE
14 years 5 months ago
2010
IEEE
Any systematic decision-making design selects a decision strategy that makes the resulting closed-loop behaviour close to the desired one. Fully Probabilistic Design (FPD) describe...
116
Voted
CORR
2011
Springer
14 years 5 months ago
2011
Springer
The framework of psi-calculi extends the pi-calculus with nominal datatypes for data structures and for logical assertions and conditions. These can be transmitted between processe...
89
Voted
JAIR
2011
14 years 5 months ago
2011
We define a logic of propositional formula schemata adding to the syntax of propositional logic indexed propositions (e.g., pi) and iterated connectives ∨ or ∧ ranging over i...
103
Voted
TCBB
2011
14 years 5 months ago
2011
—We study the problem of merging genetic maps, when the individual genetic maps are given as directed acyclic graphs. The computational problem is to build a consensus map, which...