Search Sciweavers | Sciweavers

2920 search results - page 113 / 584

» Finite information logic

185

click to vote

TIT
2008

140views more TIT 2008»

A Resource Framework for Quantum Shannon Theory

15 years 6 months ago

Download info.phys.unm.edu

Quantum Shannon theory is loosely defined as a collection of coding theorems, such as classical and quantum source compression, noisy channel coding theorems, entanglement distilla...

Igor Devetak, Aram Wettroth Harrow, Andreas J. Win...

claim paper

Read More »

147

click to vote

SUM
2007
Springer

108views Information Technology» more SUM 2007»

Top-k Retrieval in Description Logic Programs Under Vagueness for the Semantic Web

16 years 1 months ago

Download gaia.isti.cnr.it

Thomas Lukasiewicz, Umberto Straccia

claim paper

Read More »

142

click to vote

MKM
2005
Springer

78views Information Technology» more MKM 2005»

Textbook Proofs Meet Formal Logic - The Problem of Underspecification and Granularity

16 years 11 days ago

Download www.informatik.uni-bremen.de

Serge Autexier, Armin Fiedler

claim paper

Read More »

159

click to vote

MMMACNS
2005
Springer

119views Information Technology» more MMMACNS 2005»

A Temporal Logic-Based Model for Forensic Investigation in Networked System Security

16 years 11 days ago

Download www.cnas.org.tn

Slim Rekhis, Noureddine Boudriga

claim paper

Read More »

153

click to vote

MKM
2004
Springer

92views Information Technology» more MKM 2004»

Mathematical Service Matching Using Description Logic and OWL

16 years 7 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers