Sciweavers

1256 search results - page 129 / 252
» Tools for Exploring Natural Language
Sort
View
CICLING
2008
Springer
15 years 8 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
COLING
2010
15 years 1 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
SAT
2010
Springer
174views Hardware» more  SAT 2010»
15 years 4 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
MODELS
2007
Springer
16 years 16 days 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
MODELS
2007
Springer
16 years 16 days 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