3820 search results - page 258 / 764 » Bounded Model Debugging |
116
click to vote
ECML
2005
Springer
15 years 9 months ago
2005
Springer
We study estimation of mixture models for problems in which multiple views of the instances are available. Examples of this setting include clustering web pages or research papers ...
135
click to vote
ATVA
2007
Springer
15 years 7 months ago
2007
Springer
A fair non-repudiation protocol should guarantee, (1) when a sender sends a message to a receiver, neither the sender nor the receiver can deny having participated in this communic...
140
click to vote
CAV
2008
Springer
15 years 5 months ago
2008
Springer
In this paper we present a word-level model checking method that attempts to speed up safety property checking of industrial netlists. Our aim is to construct an algorithm that all...
113
click to vote
COLING
2008
15 years 5 months ago
2008
Psycholinguistic studies suggest a model of human language processing that 1) performs incremental interpretation of spoken utterances or written text, 2) preserves ambiguity by m...
134
click to vote
NETWORKING
2007
15 years 5 months ago
2007
This paper addresses the study of fundamental properties of stream-based content distribution services. We assume the presence of an overlay network with limited connectivity degre...