Sciweavers

5158 search results - page 83 / 1032
» Generalization of the Dempster-Shafer Theory
Sort
View
MLQ
2000
99views more  MLQ 2000»
13 years 8 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»
13 years 7 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
12 years 8 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
14 years 5 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
14 years 3 months 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