3319 search results - page 174 / 664 » Subshifts, Languages and Logic |
94
Voted
FCSC
2010
14 years 11 months ago
2010
Quotients and factors are important notions in the design of various computational procedures for regular languages and for the analysis of their logical properties. We propose a n...
112
click to vote
KES
2004
Springer
15 years 6 months ago
2004
Springer
In this case study I argue for the usage of a machine-oriented controlled natural language as interface language to knowledge systems. Instead of using formal languages that are di...
115
click to vote
PODS
2010
ACM
15 years 2 months ago
2010
ACM
We study highly expressive query languages such as datalog, fixpoint, and while-languages on probabilistic databases. We generalize these languages such that computation steps (e....
COLING
1992
15 years 2 months ago
1992
We propose a new method to resolve ambiguity in translation and meaning interpretation using linguistic statistics extracted from dual corpora of sourcu aud target languages in ad...
ER
2007
Springer
15 years 7 months ago
2007
Springer
This paper intends to classify, review, and compare the existing languages for the specification of spatial integrity constraints at the conceptual level. We classify these languag...