2409 search results - page 118 / 482 » On Extended Regular Expressions |
175
click to vote
TIT
2002
15 years 4 months ago
2002
In this paper, we are concerned with the finite-length analysis of low-density parity-check (LDPC) codes when used over the binary erasure channel (BEC). The main result is an expr...
159
click to vote
DATESO
2010
15 years 2 months ago
2010
The XML format has become the standard for data exchange because it is self-describing and it stores not only information but also the relationships between data. Therefore it is u...
114
click to vote
ISBI
2009
IEEE
15 years 11 months ago
2009
IEEE
We present a numerical framework for Fluorescence Diffuse Optical Tomography (fDOT) that combines a forward model together with an iterative reconstruction procedure. Using rapid ...
123
click to vote
CAV
2004
Springer
15 years 10 months ago
2004
Springer
Verifying whether an ω-regular property is satisfied by a finite-state system is a core problem in model checking. Standard techniques build an automaton with the complementary ...
116
click to vote
AML
2000
15 years 4 months ago
2000
The Wholeness Axiom (WA) is an axiom schema that can be added to the axioms of ZFC in an extended language {, j}, and that asserts the existence of a nontrivial elementary embeddin...