Sciweavers

1256 search results - page 129 / 252
» Tools for Exploring Natural Language
Sort
View
125
Voted
CICLING
2008
Springer
15 years 5 months ago
A Distributed Database System for Developing Ontological and Lexical Resources in Harmony
In this article, we present the basic ideas of creating a new information-rich lexical database of Dutch, called Cornetto, that is interconnected with corresponding English synsets...
Ales Horák, Piek Vossen, Adam Rambousek
122
Voted
COLING
2010
14 years 10 months ago
A Semantic Network Approach to Measuring Relatedness
Humans are very good at judging the strength of relationships between two terms, a task which, if it can be automated, would be useful in a range of applications. Systems attempti...
Brian Harrington
133
Voted
SAT
2010
Springer
174views Hardware» more  SAT 2010»
15 years 2 months ago
A System for Solving Constraint Satisfaction Problems with SMT
Abstract. SAT Modulo Theories (SMT) consists of deciding the satisfiability of a formula with respect to a decidable background theory, such as linear integer arithmetic, bit-vect...
Miquel Bofill, Josep Suy, Mateu Villaret
123
Voted
MODELS
2007
Springer
15 years 9 months ago
Scenario Integration via the Transformation and Manipulation of Higher-order Graphs
The integration of different models, such as scenarios, is an important component of the requirements engineer’s work. If manually performed, the integration operation is error-...
Hongzhi Liang
106
Voted
MODELS
2007
Springer
15 years 9 months ago
Model and Formalism Driven Development of Collaborative Applications
In this position paper, we explain our approach for collaborative systems development based on a model of cooperative applications and a formalism called ORCHESTRA allowing to exp...
Bertrand T. David, René Chalon