4276 search results - page 572 / 856 » Techniques for Empirical Validation |
158
click to vote
PERCOM
2009
ACM
16 years 7 months ago
2009
ACM
This paper examines the recovery of user context in indoor environments with existing wireless infrastructures to enable assistive systems. We present a novel approach to the extra...
165
click to vote
CHI
2005
ACM
16 years 7 months ago
2005
ACM
This paper describes a new way of visualizing threaded discussion forums on compact displays. The technique uses squarified treemaps to render the threads in discussion forums as ...
190
click to vote
CADE
2005
Springer
16 years 6 months ago
2005
Springer
Proof planning is an automated reasoning technique which improves proof search by raising it to a meta-level. In this paper we apply proof planning to First-Order Linear Temporal L...
265
click to vote
SIGMOD
2006
ACM
16 years 6 months ago
2006
ACM
Many sensor network applications, such as object tracking and disaster monitoring, require effective techniques for event detection. In this paper, we propose a novel event detect...
166
click to vote
WSDM
2010
ACM
16 years 4 months ago
2010
ACM
Recently, there has been tremendous interest in the phenomenon of influence propagation in social networks. The studies in this area assume they have as input to their problems a ...