Sciweavers

1256 search results - page 133 / 252
» Tools for Exploring Natural Language
Sort
View
132
Voted
ESWS
2008
Springer
15 years 5 months ago
Conceptual Spaces in ViCoS
We describe ViCoS, a tool for constructing and visualising conceptual spaces in the area of language documentation. ViCoS allows users to enrich existing lexical information about ...
Claus Zinn
WOLLIC
2009
Springer
15 years 10 months ago
Algebraic Valuations as Behavioral Logical Matrices
Abstract. The newly developed behavioral approach to the algebraization of logics extends the applicability of the methods of algebraic logic to a wider range of logical systems, n...
Carlos Caleiro, Ricardo Gonçalves
LORI
2009
Springer
15 years 10 months ago
First-Order Logic Formalisation of Arrow's Theorem
Arrow’s Theorem is a central result in social choice theory. It states that, under certain natural conditions, it is impossible to aggregate the preferences of a finite set of i...
Umberto Grandi, Ulle Endriss
IESS
2007
Springer
128views Hardware» more  IESS 2007»
15 years 10 months ago
An Interactive Design Environment for C-based High-Level Synthesis
: Much effort in RTL design has been devoted to developing “push-button” types of tools. However, given the highly complex nature, and lack of control on RTL design, push-butt...
Dongwan Shin, Andreas Gerstlauer, Rainer Döme...
IV
2003
IEEE
183views Visualization» more  IV 2003»
15 years 9 months ago
Visualisation of RDF(S)-based Information
As Resource Description Framework (RDF) reaches maturity, there is an increasing need for tools that support it. A common and natural representation for RDF data is a directed lab...
Alexandru Telea, Flavius Frasincar, Geert-Jan Houb...