Sciweavers

5456 search results - page 136 / 1092
» General Equilibrium Theory
Sort
View
CORR
2008
Springer
148views Education» more  CORR 2008»
15 years 5 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 3 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 1 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
APN
2007
Springer
16 years 1 months ago
Theory of Regions for the Synthesis of Inhibitor Nets from Scenarios
In this paper we develop a theory for the region-based synthesis of system models given as place/transition-nets with weighted inhibitor arcs (ptinets) from sets of scenarios descr...
Robert Lorenz, Sebastian Mauser, Robin Bergenthum