1418 search results - page 71 / 284 » The Dynamic Complexity of Formal Languages |
147
click to vote
INLG
2010
Springer
15 years 1 months ago
2010
Springer
In this paper we present a reference generation model based on Reference Domain Theory which gives a dynamic account of reference. This reference model assumes that each referring...
172
click to vote
STACS
1993
Springer
15 years 8 months ago
1993
Springer
Abduction is an important form of nonmonotonic reasoning allowing one to find explanations for certain symptoms or manifestations. When the application domain is described by a l...
127
click to vote
DAGSTUHL
2003
15 years 5 months ago
2003
Individual functional requirements represent fragments of behavior, while a design that satisfies a set of functional requirements represents integrated behavior. This perspective ...
123
Voted
ECBS
1996
IEEE
15 years 8 months ago
1996
IEEE
It is widely recognized that real-time,fault-tolerant and distributed computing technologies play a key role in the deployment of many current andfuture (civilian or Defense) crit...
140
click to vote
LATA
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. Iterated schemata allow to define infinite languages of propositional formulae through formulae patterns. Formally, schemata extend propositional logic with new (generali...