AAAI
2007
15 years 8 months ago
2007
156
click to vote
MOBISYS
2010
ACM
15 years 8 months ago
2010
ACM
Many emerging smartphone applications require position information to provide location-based or context-aware services. In these applications, GPS is often preferred over its alte...
149
click to vote
AAAI
2008
15 years 8 months ago
2008
The paper presents a calculus based on resolution for credulous reasoning in Answer Set Programming. The new approach allows a top-down and goal directed resolution, in the same s...
154
click to vote
AAAI
2007
15 years 8 months ago
2007
We develop a formal theory of mereology that includes relations that change over time. We show how this theory formalizes reasoning over domains of material objects, which include...
182
click to vote
MOBISYS
2010
ACM
15 years 8 months ago
2010
ACM
We present Darwin, an enabling technology for mobile phone sensing that combines collaborative sensing and classification techniques to reason about human behavior and context on ...