Sciweavers

3533 search results - page 378 / 707
» Information theory and Thermodynamics
Sort
View
CVPR
2010
IEEE
16 years 2 months ago
Convex Shape Decomposition
In this paper, we propose a new shape decomposition method, called convex shape decomposition. We formalize the convex decomposition problem as an integer linear programming probl...
Liu Hairong, Longin Jan Latecki, Liu Wenyu
CSCW
2010
ACM
16 years 1 months ago
The roles that make the domestic work
This paper builds on earlier CSCW studies of domestic technologies, looking at the frequent maintenance required by new security technologies that households are adopting to provi...
Jennifer A. Rode
168
Voted
BIBE
2009
IEEE
210views Bioinformatics» more  BIBE 2009»
16 years 1 months ago
Analysis of Autism Prevalence and Neurotoxins Using Combinatorial Fusion and Association Rule Mining
- The increase in autism prevalence has been the motivation for much research which has produced various theories for its causation. Genetic and environmental factors have been inv...
Christina Schweikert, Yanjun Li, David Dayya, Davi...
ICDT
2009
ACM
127views Database» more  ICDT 2009»
16 years 1 months ago
A logical account of uncertain databases based on linear logic
A formal semantics of uncertain databases typically takes an algebraic approach by mapping an uncertain database to a set of relational databases, or possible worlds. We present a...
Sungwoo Park, Seung-won Hwang
TASE
2009
IEEE
16 years 1 months ago
Verifying Self-stabilizing Population Protocols with Coq
Population protocols are an elegant model recently introduced for distributed algorithms running in large and unreliable networks of tiny mobile agents. Correctness proofs of such...
Yuxin Deng, Jean-François Monin