3082 search results - page 338 / 617 » Deviation Analysis: A New Use of Model Checking |
170
click to vote
AAAI
1994
15 years 8 months ago
1994
The availability of large on-line text corpora provides a natural and promising bridge between the worlds of natural language processing (NLP) and machine learning (ML). In recent...
212
click to vote
IFM
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. In this paper, we address the problem of expressing objectoriented concepts in terms of Petri nets. This is interesting, first, as a possibility of representing concurre...
144
click to vote
COLING
2010
15 years 1 months ago
2010
We present a new method, based on graph theory, for bilingual lexicon extraction without relying on resources with limited availability like parallel corpora. The graphs we use re...
169
click to vote
MA
2011
Springer
15 years 1 months ago
2011
Springer
This paper suggests a new technique to construct first order Markov processes using products of copula functions, in the spirit of Darsow et al. (1992). The approach requires the...
169
click to vote
FTRTFT
1998
Springer
15 years 10 months ago
1998
Springer
A controversial issue in the formal methods community is the degree to which mathematical sophistication and theorem proving skills should be needed to apply a formal method. A fun...