2082 search results - page 203 / 417 » Change Paths in Reasoning! |
130
click to vote
SENSYS
2010
ACM
15 years 2 months ago
2010
ACM
We present AutoWitness, a system to deter, detect, and track personal property theft, improve historically dismal stolen property recovery rates, and disrupt stolen property distr...
151
click to vote
CORR
2011
Springer
14 years 8 months ago
2011
Springer
In this paper we develop a tractable framework for SINR analysis in downlink heterogeneous cellular networks (HCNs) with flexible cell association policies. The HCN is modeled as...
131
click to vote
SIGMOD
1995
ACM
15 years 7 months ago
1995
ACM
We study the problem of e cient maintenance of materialized views that may contain duplicates. This problem is particularly important when queries against such views involve aggre...
147
click to vote
IICAI
2007
15 years 5 months ago
2007
Logics of action, for reasoning about the effects of state change, and logics of belief, accounting for belief revision and update, have much in common. Furthermore, we may underta...
129
click to vote
CSCW
2010
ACM
16 years 1 months ago
2010
ACM
Most studies of plans and situated work have applied ethnographic methods and and thus fail to provide any quantitative insight into the extent of this phenomenon. We present a st...