8828 search results - page 1144 / 1766 » Formal methods in practice |
203
click to vote
WOSP
2010
ACM
16 years 2 months ago
2010
ACM
In this paper we provide a general method to derive productform solutions for stochastic models. We take inspiration from the Reversed Compound Agent Theorem [14] and we provide a...
204
click to vote
CICLING
2010
Springer
16 years 2 months ago
2010
Springer
In practice, lexical chains are typically built using term reiteration or resource-based measures of semantic distance. The former approach misses out on a significant portion of ...
196
click to vote
ICDE
2009
IEEE
16 years 2 months ago
2009
IEEE
Abstract— We have developed log-based recovery for middleware servers that access back-end transaction systems (DBMSs). Transactional consistency is provided between in-memory st...
175
click to vote
PAKDD
2009
ACM
16 years 2 months ago
2009
ACM
In this paper we propose to study budget semi-supervised learning, i.e., semi-supervised learning with a resource budget, such as a limited memory insufficient to accommodate and/...
183
click to vote
DATE
2009
IEEE
16 years 2 months ago
2009
IEEE
— Fault injection has become a very classical method to determine the dependability of an integrated system with respect to soft errors. Due to the huge number of possible error ...