3379 search results - page 190 / 676 » Powers of Two |
202
click to vote
LICS
2007
IEEE
16 years 24 days ago
2007
IEEE
The combination of first-order epistemic logic and formal cryptography offers a potentially very powerful framework for security protocol verification. In this article, we addre...
178
click to vote
EWSN
2007
Springer
16 years 6 months ago
2007
Springer
This paper presents two lifetime models that describe two of the most common modes of operation of sensor nodes today, triggerdriven and duty-cycle driven. The models use a set of ...
165
click to vote
VTC
2006
IEEE
16 years 16 days ago
2006
IEEE
—In this paper, the exact closed-form capacity expression for a hybrid selection/MIMO (H-S/MIMO) system in the spatial correlated Rayleigh fading channels is investigated. There ...
168
click to vote
JMLR
2008
15 years 6 months ago
2008
In this paper, we propose a recursive method for structural learning of directed acyclic graphs (DAGs), in which a problem of structural learning for a large DAG is first decompos...
156
click to vote
MT
2006
15 years 6 months ago
2006
We describe a novel approach to machine translation that combines the strengths of the two leading corpus-based approaches: Phrasal SMT and EBMT. We use a syntactically informed d...