Sciweavers

5158 search results - page 83 / 1032
» Generalization of the Dempster-Shafer Theory
Sort
View
MLQ
2000
99views more  MLQ 2000»
15 years 6 months ago
The Essentially Equational Theory of Horn Classes
It is well known that the model categories of universal Horn theories are locally presentable, hence essentially algebraic [2]. In the special case of quasivarieties a direct tran...
Hans-E. Porst
CORR
2008
Springer
148views Education» more  CORR 2008»
15 years 4 months ago
Efficiently Simulating Higher-Order Arithmetic by a First-Order Theory Modulo
In deduction modulo, a theory is not represented by a set of axioms but by a congruence on propositions modulo which the inference rules of standard deductive systems--such as for ...
Guillaume Burel
ECSCW
2011
14 years 6 months ago
Theories of Cognition in CSCW
There are many theories useful for framing CSCW research and they may in principle be irreducible to a single theory. CSCW research explores questions involving numerous distinctâ€...
Gerry Stahl
CVPR
2010
IEEE
16 years 2 months ago
A Theory of Plenoptic Multiplexing
Multiplexing is a common technique for encoding highdimensional image data into a single, two-dimensional image. Examples of spatial multiplexing include Bayer patterns to capture...
Ivo Ihrke, Gordon Wetzstein, Wolfgang Heidrich
IAT
2009
IEEE
16 years 28 days ago
Enhanced Gestalt Theory Guided Web Page Segmentation for Mobile Browsing
This paper proposes a novel Web page segmentation method for mobile browsing, aiming to break a Web page into visually and semantically coherent units fitted to the limited screen ...
Xin Yang, Yuanchun Shi