Sciweavers

846 search results - page 53 / 170
» Fundamentals of Media Theory
Sort
View
125
Voted
SYNTHESE
2010
88views more  SYNTHESE 2010»
14 years 8 months ago
Proposition-valued random variables as information
The notion of a proposition as a set of possible worlds or states occupies central stage in probability theory, semantics and epistemology, where it serves as the fundamental unit...
Richard Bradley
TON
2002
76views more  TON 2002»
15 years 1 months ago
Some properties of variable length packet shapers
The min-plus theory of greedy shapers has been developed after Cruz's results on the calculus of network delays. An example of greedy shaper is the buffered leaky bucket cont...
Jean-Yves Le Boudec
108
Voted
JIIS
2008
104views more  JIIS 2008»
15 years 1 months ago
A framework for checking proofs naturally
We propose a natural framework, called NF, which supports development of formal proofs on a computer. NF is based on a theory of Judgments and Derivations. NF is designed by observ...
Masahiko Sato
108
Voted
DIMEA
2007
132views Multimedia» more  DIMEA 2007»
15 years 3 months ago
On the production of creative subjectivity
Businesses today are requiring higher levels of creativity and innovation in the face of rapid change, fierce competition and increasingly complex markets. Nowhere is the more obv...
Brett Rolfe
IWPC
2009
IEEE
15 years 8 months ago
Intensions are a key to program comprehension
The classical comprehension theories study relations between extensions, intensions, and names. Originally developed in linguistics and mathematics, these theories are applicable ...
Václav Rajlich