7988 search results - page 1111 / 1598 » A Useful Undecidable Theory |
174
click to vote
ECIR
2007
Springer
15 years 8 months ago
2007
Springer
The purpose of authorship search is to identify documents written by a particular author or in a particular style in large document collections. Standard search engines match docum...
173
click to vote
LREC
2010
15 years 8 months ago
2010
Evaluating systems and theories about persuasion represents a bottleneck for both theoretical and applied fields: experiments are usually expensive and time consuming. Still, meas...
166
click to vote
DLT
2008
15 years 8 months ago
2008
We show that for several classes of idempotent semirings the least fixed-point of a polynomial system of equations X = f(X) is equal to the least fixed-point of a linear system obt...
193
click to vote
LREC
2010
15 years 8 months ago
2010
This paper presents a geometric approach to meaning representation within the framework of continuous mathematics. Meaning representation is a central issue in Natural Language Pr...
183
click to vote
FORTE
2008
15 years 8 months ago
2008
In software engineering, graphical formalisms, like state-transition tables and automata, are very often indispensable parts of the specifications. Such a formalism usually leads t...