819 search results - page 120 / 164 » Using Assumptions to Distribute CTL Model Checking |
105
click to vote
IDA
2002
Springer
15 years 11 days ago
2002
Springer
Most classification methods are based on the assumption that the data conforms to a stationary distribution. However, the real-world data is usually collected over certain periods...
103
Voted
HT
2004
ACM
15 years 6 months ago
2004
ACM
In this paper, we describe Chrysant, a hypertext version control system for embedded link models. Chrysant provides generalpurpose versioning capability to hypertext systems with ...
105
click to vote
SAC
2010
ACM
15 years 24 days ago
2010
ACM
Software artifacts usually have static program constraints and these constraints should be satisfied in each reuse. In addition to this, the developers are also required to satisf...
91
Voted
ICML
2004
IEEE
16 years 1 months ago
2004
IEEE
Classifier learning methods commonly assume that the training data consist of randomly drawn examples from the same distribution as the test examples about which the learned model...
90
Voted
ICASSP
2009
IEEE
15 years 7 months ago
2009
IEEE
Without any assumption on the cover source, this paper presents a complete characterization of all perfectly secure stego-systems that employ mutually independent embedding operat...