Sciweavers

14084 search results - page 244 / 2817
» A Theory for Game Theories
Sort
View
TIT
2011
169views more  TIT 2011»
15 years 1 months ago
Network Coding Theory Via Commutative Algebra
—The fundamental result of linear network coding asserts the existence of optimal codes over acyclic networks when the symbol field is sufficiently large. The restriction to just...
Shuo-Yen Robert Li, Qifu Tyler Sun
TIP
2010
176views more  TIP 2010»
15 years 1 months ago
A PDE Formalization of Retinex Theory
In 1964 Edwin H. Land formulated the Retinex theory, the first attempt to simulate and explain how the human visual system perceives color. His theory and an extension, the "r...
Jean-Michel Morel, Ana Belen Petro, Catalina Sbert
OIR
2011
226views Neural Networks» more  OIR 2011»
14 years 9 months ago
Understanding Knowledge Sharing in Virtual Communities: An Integration of Expectancy Disconfirmation and Justice Theories
This paper integrates expectancy disconfirmation theory and justice theory to construct a model for investigating the motivations behind people’s knowledge sharing in open profe...
Chao-Min Chiu, Eric T. G. Wang, Fu-Jong Shih, Yi-W...
FROCOS
2011
Springer
14 years 6 months ago
Stochastic Local Search for SMT: Combining Theory Solvers with WalkSAT
A dominant approach to Satisfiability Modulo Theories (SMT) relies on the integration of a Conflict-Driven-Clause-Learning (CDCL) SAT solver and of a decision procedure able to h...
Alberto Griggio, Quoc-Sang Phan, Roberto Sebastian...
CHI
2007
ACM
16 years 7 months ago
Tangible user interfaces in context and theory
Tangible User Interface (TUI) research has become increasingly widespread over the past 25 years. It is an essential component of Ubiquitous Computing and Augmented Reality resear...
Alan F. Blackwell, George W. Fitzmaurice, Lars Eri...