1003 search results - page 40 / 201 » Proposal of Generalized Rule Programming Model |
SPIN
2000
Springer
14 years 22 days ago
2000
Springer
Systematic state-space exploration is a powerful technique for veri cation of concurrent software systems. Most work in this area deals with manually-constructed models of those sy...
CIKM
2010
Springer
13 years 7 months ago
2010
Springer
Link structures are important patterns one looks out for when modeling and analyzing social networks. In this paper, we propose the task of mining interesting Link Formation rules...
CAV
2012
Springer
11 years 11 months ago
2012
Springer
Abstract. We propose a trace-based concurrent program analysis to soundly remove redundant synchronizations such as locks while preserving the behaviors of the concurrent computati...
ICDM
2008
IEEE
14 years 3 months ago
2008
IEEE
We consider the problem of Semi-supervised Learning (SSL) from general unlabeled data, which may contain irrelevant samples. Within the binary setting, our model manages to better...
EACL
1989
ACL Anthology
13 years 10 months ago
1989
ACL Anthology
One way of characterising texts is in terms of the discourse structures on which they appear to be built. Each type of text, or genre, e.g. the sports report, the recipe, the serm...