1268 search results - page 92 / 254 » Modeling Natural Language Communication in Database Semantic... |
LACL
2001
Springer
15 years 2 months ago
2001
Springer
Abstract. Two kinds of framework for stating grammars of natural languages emerged during the 20th century. Here we call them generativeenumerative syntax (GES) and model-theoretic...
QSIC
2009
IEEE
15 years 4 months ago
2009
IEEE
—A well-founded testing theory encourages the practical application of test case generation techniques. This aims at overcoming the ever increasing complexity of softwareenabled ...
NLDB
2007
Springer
15 years 4 months ago
2007
Springer
This paper presents a novel application of a semantic annotation system, named Cerno, to analyze research publications in electronic format. Specifically, we address the problem of...
ICFP
2007
ACM
15 years 10 months ago
2007
ACM
We present a model checker for verifying distributed programs written in the Erlang programming language. Providing a model checker for Erlang is especially rewarding since the la...
BMCBI
2010
14 years 10 months ago
2010
Background: In the current era of scientific research, efficient communication of information is paramount. As such, the nature of scholarly and scientific communication is changi...