Sciweavers

1487 search results - page 100 / 298
» Two Kinds of Metonymy
Sort
View
ATVA
2008
Springer
139views Hardware» more  ATVA 2008»
13 years 11 months ago
Compositional Verification for Component-Based Systems and Application
We present a compositional method for the verification of component-based systems described in a subset of the BIP language encompassing multi-party interaction without data transf...
Saddek Bensalem, Marius Bozga, Joseph Sifakis, Tha...
CISSE
2008
Springer
13 years 11 months ago
Testing Grammars For Top-Down Parsers
According to the software engineering perspective, grammars can be viewed as "Specifications for defining languages or compilers". They form the basics of languages and ...
A. M. Paracha, F. Franek
ALT
2010
Springer
13 years 10 months ago
Optimal Online Prediction in Adversarial Environments
: In many prediction problems, including those that arise in computer security and computational finance, the process generating the data is best modeled as an adversary with whom ...
Peter L. Bartlett
ACL
2007
13 years 10 months ago
Extracting Word Sets with Non-Taxonomical Relation
At least two kinds of relations exist among related words: taxonomical relations and thematic relations. Both relations identify related words useful to language understanding and...
Eiko Yamamoto, Hitoshi Isahara
ACL
2007
13 years 10 months ago
Guiding Semi-Supervision with Constraint-Driven Learning
Over the last few years, two of the main research directions in machine learning of natural language processing have been the study of semi-supervised learning algorithms as a way...
Ming-Wei Chang, Lev-Arie Ratinov, Dan Roth