819 search results - page 52 / 164 » Using Assumptions to Distribute CTL Model Checking |
91
Voted
COLT
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. There has been growing interest in practice in using unlabeled data together with labeled data in machine learning, and a number of different approaches have been develo...
ACL
1994
15 years 1 months ago
1994
Most probabilistic classi ers used for word-sense disambiguationhave either been based on onlyone contextual feature or have used a model that is simply assumed to characterize th...
104
Voted
OOPSLA
2007
Springer
15 years 6 months ago
2007
Springer
Objects often define usage protocols that clients must follow in order for these objects to work properly. Aliasing makes it notoriously difficult to check whether clients and i...
78
Voted
INFORMATICALT
2006
15 years 17 days ago
2006
This paper discusses the determination of the spare inventory level for a multiechelon repairable item inventory system, which has several bases and a central depot with emergency ...
CONCUR
1997
Springer
15 years 4 months ago
1997
Springer
Abstract. In a trace-based world, the modular speci cation, veri cation, and control of live systems require each module to be receptive that is, each module must be able to meet i...