1527 search results - page 275 / 306 » What About Wednesday |
SIPS
2008
IEEE
14 years 2 months ago
2008
IEEE
Low-density parity-check (LDPC) codes on par with convolutional turbo codes (CTC) are two of the most powerful error correction codes known to perform very close to the Shannon li...
IAT
2007
IEEE
14 years 2 months ago
2007
IEEE
Practical reasoning (PR), as advocated by philosophers is concerned by reasoning about what agents should do. It follows mainly two steps. A deliberation one for identifying the g...
WECWIS
2007
IEEE
14 years 2 months ago
2007
IEEE
Business Process Execution Language (BPEL) is an XML-based language for specifying services. There have been numerous recent research and development efforts in both statically an...
COCOON
2007
Springer
14 years 1 months ago
2007
Springer
We investigate the connection between propositional proof systems and their canonical pairs. It is known that simulations between proof systems translate to reductions between the...
ER
2007
Springer
14 years 1 months ago
2007
Springer
Provability-based semantic interoperability (PBSI) is a kind of interoperability that transcends mere syntactic translation to allow for robust, meaningful information exchange acr...