Sciweavers

401 search results - page 61 / 81
» A Linguistic and Computational Analysis of the German
Sort
View
LREC
2010
227views Education» more  LREC 2010»
15 years 1 months ago
Discovering Polarity for Ambiguous and Objective Adjectives through Adverbial Modification
The field of opinion mining has emerged in recent years as an exciting challenge for computational linguistics: investigating how humans express subjective judgments through lingu...
Irene Russo
ACL2
2006
ACM
15 years 5 months ago
Implementing a cost-aware evaluator for ACL2 expressions
One of ACL2’s most interesting features is that it is executable, so users can run the programs that they verify, and debug them during verification. In fact, the ACL2 implemen...
Ruben Gamboa, John R. Cowles
COLING
2010
14 years 7 months ago
Exploring the Data-Driven Prediction of Prepositions in English
Prepositions in English are a well-known challenge for language learners, and the computational analysis of preposition usage has attracted significant attention. Such research ge...
Anas Elghafari, Detmar Meurers, Holger Wunsch
SAS
1992
Springer
171views Formal Methods» more  SAS 1992»
15 years 4 months ago
Static Analysis of CLP Programs over Numeric Domains
Abstract Constraint logic programming (CLP) is a generalization of the pure logic programming paradigm, having similar model-theoretic, fixpoint and operational semantics [9]. Sinc...
Roberto Bagnara, Roberto Giacobazzi, Giorgio Levi
CHI
2005
ACM
16 years 9 days ago
Programmatic semantics for natural language interfaces
An important way of making interfaces usable by nonexpert users is to enable the use of natural language input, as in natural language query interfaces to databases, or MUDs and M...
Hugo Liu, Henry Lieberman