Sciweavers

1655 search results - page 186 / 331
» Stemming in the language modeling framework
Sort
View
103
Voted
IFM
2004
Springer
175views Formal Methods» more  IFM 2004»
15 years 6 months ago
State/Event-Based Software Model Checking
Abstract. We present a framework for model checking concurrent software systems which incorporates both states and events. Contrary to other state/event approaches, our work also i...
Sagar Chaki, Edmund M. Clarke, Joël Ouaknine,...
SIGIR
2005
ACM
15 years 6 months ago
Linear discriminant model for information retrieval
This paper presents a new discriminative model for information retrieval (IR), referred to as linear discriminant model (LDM), which provides a flexible framework to incorporate a...
Jianfeng Gao, Haoliang Qi, Xinsong Xia, Jian-Yun N...
114
Voted
EACL
2009
ACL Anthology
16 years 1 months ago
Translation as Weighted Deduction
We present a unified view of many translation algorithms that synthesizes work on deductive parsing, semiring parsing, and efficient approximate search algorithms. This gives rise...
Adam Lopez
74
Voted
SAC
2004
ACM
15 years 6 months ago
A core calculus of higher-order mixins and classes
This work presents an object-oriented calculus based on higher-order mixin construction via mixin composition, where some software engineering requirements are modeled in a formal ...
Lorenzo Bettini, Viviana Bono, Silvia Likavec
90
Voted
IJCNLP
2004
Springer
15 years 6 months ago
Visual Semantics and Ontology of Eventive Verbs
Various English verb classifications have been analyzed in terms of their syntactic and semantic properties, and conceptual components, such as syntactic valency, lexical semantics...
Minhua Ma, Paul McKevitt