7988 search results - page 393 / 1598 » A Useful Undecidable Theory |
173
click to vote
CHI
2005
ACM
16 years 7 months ago
2005
ACM
This paper describes a new collaboration technology that is based on the support of lightweight, informally structured, opportunistic activities featuring heterogeneous threads of...
153
click to vote
ICC
2007
IEEE
16 years 1 months ago
2007
IEEE
— Gravity model used to model transport flow has proven invaluable in urban planning. Some recent work has proposed to use gravity model to predict user movements in cellular net...
180
click to vote
ECIS
2004
15 years 8 months ago
2004
Mobile services are a very important part of the e-commerce landscape. Although research has been conducted on what services people use and what value they attach to those service...
162
click to vote
SENSYS
2010
ACM
15 years 4 months ago
2010
ACM
This paper considers the problem of estimating the power breakdowns for the main appliances inside a building using a small number of power meters and the knowledge of the ON/OFF ...
189
click to vote
JCST
2010
15 years 1 months ago
2010
Probabilistic techniques are widely used in the analysis of algorithms to estimate the computational complexity of algorithms or a computational problem. Traditionally, such analys...