1418 search results - page 85 / 284 » The Dynamic Complexity of Formal Languages |
108
click to vote
CIE
2008
Springer
15 years 6 months ago
2008
Springer
Abstract We prove, using a non-standard complexity assumption, that any language in NP has a 1-round (that is, the verifier sends a message to the prover, and the prover sends a me...
144
click to vote
LREC
2010
15 years 5 months ago
2010
One of the essential functions of natural language is to talk about spatial relationships between objects. Linguistic constructs can express highly complex, relational structures ...
137
click to vote
AAAI
2000
15 years 5 months ago
2000
We present a general, consistency-based framework for belief change. Informally, in revising K by , we begin with and incorporate as much of K as consistently possible. Formally, ...
151
click to vote
CSCWD
2001
Springer
15 years 8 months ago
2001
Springer
Workflow management techniques are aiming at supporting business process across organization boundaries. Current techniques are lacking of the formalism tools to model and analyze...
155
click to vote
ECOOPW
2008
Springer
15 years 5 months ago
2008
Springer
EOOLT'2007 was the first edition of the ECOOP-EOOLT workshop. The workshop is intended to bring researchers associated with different equation-based object-oriented (EOO) mode...