2036 search results - page 9 / 408 » From Sampling to Model Counting |
88
Voted
SEFM
2005
IEEE
15 years 5 months ago
2005
IEEE
We present an interface theory based approach to static analysis of actor models. We first introduce a new interface theory, which is based on Interface Automata, and which is ca...
100
click to vote
FAST
2010
15 years 1 months ago
2010
An understanding of application I/O access patterns is useful in several situations. First, gaining insight into what applications are doing with their data at a semantic level he...
104
Voted
SIGMETRICS
2008
ACM
14 years 11 months ago
2008
ACM
During the past decade, a number of different studies have identified several peculiar properties of networks that arise from a diverse universe, ranging from social to computer n...
98
Voted
COLING
2008
15 years 1 months ago
2008
This paper addresses the fundamental problem of document classification, and we focus attention on classification problems where the classes are mutually exclusive. In the course ...
113
Voted
INFOCOM
2012
IEEE
13 years 2 months ago
2012
IEEE
—Target counting in sensor-based surveillance systems is an interesting task that potentially could have many important applications in practice. In such a system, each sensor ou...