8828 search results - page 1575 / 1766 » Formal methods in practice |
139
click to vote
CHI
2011
ACM
14 years 8 months ago
2011
ACM
Previously, we presented Viz-A-Vis, a VIsualiZation of Activity through computer VISion [17]. Viz-A-Vis visualizes behavior as aggregate motion over observation space. In this pap...
162
click to vote
CONSTRAINTS
2011
14 years 8 months ago
2011
Abstract. We consider the problem of decomposing an integer matrix into a positively weighted sum of binary matrices that have the consecutive-ones property. This problem is well-k...
151
click to vote
ICANN
2011
Springer
14 years 8 months ago
2011
Springer
Currently the most accurate WLAN positioning systems are based on the fingerprinting approach, where a “radio map” is constructed by modeling how the signal strength measureme...
162
click to vote
IR
2011
14 years 7 months ago
2011
We review the history of modeling score distributions, focusing on the mixture of normal-exponential by investigating the theoretical as well as the empirical evidence supporting i...
147
click to vote
PAKDD
2011
ACM
14 years 7 months ago
2011
ACM
Discovering rare categories and classifying new instances of them is an important data mining issue in many fields, but fully supervised learning of a rare class classifier is pr...