3909 search results - page 353 / 782 » Extreme Model Checking |
123
click to vote
ATS
2005
IEEE
15 years 6 months ago
2005
IEEE
Reversibility is of interest in achieving extremely low power dissipation; it is also an inherent design requirement of quantum computation. Logical fault models for conventional ...
129
Voted
AAAI
2010
15 years 5 months ago
2010
Constructing models of mobile agents can be difficult without domain-specific knowledge. Parametric models flexible enough to capture all mobility patterns that an expert believes...
142
click to vote
SOPR
2002
15 years 3 months ago
2002
Good project scheduling is an essential, but extremely hard task in software management practice. In a software project, the time needed to complete some development activity is d...
165
Voted
PKDD
2010
Springer
15 years 2 months ago
2010
Springer
One of the major strengths of probabilistic topic modeling is the ability to reveal hidden relations via the analysis of co-occurrence patterns on dyadic observations, such as docu...
179
Voted
WAW
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Analysis of aggregate and individual Web requests shows that PageRank is a poor predictor of traffic. We use empirical data to characterize properties of Web traffic not ...