1991 search results - page 137 / 399 » Small Models of Large Machines |
193
click to vote
IRREGULAR
1997
Springer
15 years 9 months ago
1997
Springer
Stochastic modeling forms the basis for analysis in many areas, including biological and economic systems, as well as the performance and reliability modeling of computers and comm...
152
click to vote
ENTCS
2006
15 years 5 months ago
2006
This paper presents VyrdMC, a runtime verification tool we are building for concurrent software components. The correctness criterion checked by VyrdMC is refinement: Each executi...
150
Voted
SIGIR
2006
ACM
15 years 11 months ago
2006
ACM
Vector Space Model (VSM) has been at the core of information retrieval for the past decades. VSM considers the documents as vectors in high dimensional space. In such a vector spa...
175
click to vote
AAAI
1993
15 years 6 months ago
1993
We address the problem of automatically learning object models for recognition and pose estimation. In contrast to the traditional approach, we formulate the recognition problem a...
143
Voted
ISOLA
2007
Springer
15 years 11 months ago
2007
Springer
The testing and formal verification of black box software components is a challenging domain. The problem is even harder when specifications of these components are not available...