819 search results - page 65 / 164 » Using Assumptions to Distribute CTL Model Checking |
108
click to vote
CVPR
2006
IEEE
16 years 2 months ago
2006
IEEE
"Bag of words" models have enjoyed much attention and achieved good performances in recent studies of object categorization. In most of these works, local patches are mo...
88
Voted
ECIR
2009
Springer
15 years 9 months ago
2009
Springer
The aim of query-based sampling is to obtain a sufficient, representative sample of an underlying (text) collection. Current measures for assessing sample quality are too coarse gr...
147
Voted
SIGMOD
2004
ACM
16 years 23 days ago
2004
ACM
Virtually every commercial query optimizer chooses the best plan for a query using a cost model that relies heavily on accurate cardinality estimation. Cardinality estimation erro...
94
Voted
FOSSACS
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Spatial logics have been introduced to reason about distributed computation in models for concurrency. We first define a spatial logic for a general class of infinite-...
117
Voted
ECEASST
2008
15 years 4 days ago
2008
In software engineering, reliability and development time are two of the most important aspects, therefore, modeling environments, which aide both, are widely used during software ...