1242 search results - page 200 / 249 » The Theory of Grammar Constraints |
LICS
2006
IEEE
14 years 2 months ago
2006
IEEE
We consider the monadic boundedness problem for least fixed points over FO formulae as a decision problem: Given a formula ϕ(X, x), positive in X, decide whether there is a unif...
WMTE
2006
IEEE
14 years 2 months ago
2006
IEEE
This paper reports the results of a laboratory study of a proposed solution to the problem of coordinating entry into collaborative activity while protecting the privacy and contr...
ELPUB
2006
ACM
14 years 2 months ago
2006
ACM
A text parsing component designed to be part of a system that assists students in academic reading an writing is presented. The parser can automatically add a relational discourse...
MM
2005
ACM
14 years 2 months ago
2005
ACM
To better understand the content of multimedia, a lot of research efforts have been made on how to learn from multi-modal feature. In this paper, it is studied from a graph point ...
ARGMAS
2005
Springer
14 years 2 months ago
2005
Springer
Recent years have seen an increasing interest of multiagent system research in employing the theory of argumentation for the development of communication protocols. While signific...