Sciweavers

3713 search results - page 100 / 743
» Quantum Information Theory
Sort
View
ICALP
2004
Springer
14 years 2 months ago
Extensional Theories and Rewriting
This paper is an attempt to develop a unifying algebraic framework for extensional theories capturing formally the informal concept of extensionality, as well as a generic automate...
Grigore Rosu

Book
712views
15 years 7 months ago
Network Coding Theory
The book covers several topics such as Acyclic Networks, Cyclic Networks, Network Coding and Algebraic Coding, Superposition Coding and Max-Flow Bound, Network Codes for Acyclic Ne...
Raymond W. Yeung, Shuo-Yen Robert Li, Ning Cai, Zh...
ARTMED
2006
80views more  ARTMED 2006»
13 years 9 months ago
A formal theory for spatial representation and reasoning in biomedical ontologies
Objective: The objective of this paper is to demonstrate how a formal spatial theory can be used as an important tool for disambiguating the spatial information embodied in biomed...
Maureen Donnelly, Thomas Bittner, Cornelius Rosse
CSDA
2006
109views more  CSDA 2006»
13 years 9 months ago
Possibility theory and statistical reasoning
Numerical possibility distributions can encode special convex families of probability measures. The connection between possibility theory and probability theory is potentially fru...
Didier Dubois
HICSS
2003
IEEE
109views Biometrics» more  HICSS 2003»
14 years 2 months ago
The 'Vanishing' IT Productivity: A Simple Theory
The perceived phenomenon that huge investments in information technology (IT) over the past four decades have yielded a very small gain in productivity has been dubbed the “IT p...
Effy Oz