2496 search results - page 95 / 500 » Error-detecting properties of languages |
110
click to vote
CSFW
2003
IEEE
15 years 6 months ago
2003
IEEE
Access control mechanisms are widely used with the intent of enforcing confidentiality and other policies, but few formal connections have been made between information flow and...
113
Voted
ESA
2009
Springer
15 years 5 months ago
2009
Springer
Sponsored search auctions provide a marketplace where advertisers can bid for millions of advertising opportunities to promote their products. The main difficulty facing the adver...
LPAR
2000
Springer
15 years 4 months ago
2000
Springer
We present the rational construction of a generic domain for structural information analysis of real CLP languages called Pattern(D ), where the parameter D is an abstract domain s...
90
Voted
COLING
2008
15 years 2 months ago
2008
We propose an approach to natural language inference based on a model of natural logic, which identifies valid inferences by their lexical and syntactic features, without full sem...
118
click to vote
CORR
2006
Springer
15 years 21 days ago
2006
Springer
We show that it is equivalent, for certain sets of finite graphs, to be definable in CMS (counting monadic second-order, a natural extension of monoadic second-order logic), and t...