1000 search results - page 107 / 200 » Nominal rewriting systems |
CADE
2008
Springer
14 years 10 months ago
2008
Springer
Abstract. We present the first terminating tableau calculus for basic hybrid logic with the difference modality and converse modalities. The language under consideration is basic m...
LICS
2008
IEEE
14 years 4 months ago
2008
IEEE
LF is a dependent type theory in which many other formal systems can be conveniently embedded. However, correct use of LF relies on nontrivial metatheoretic developments such as p...
DATE
2005
IEEE
14 years 3 months ago
2005
IEEE
Assessing IC manufacturing process fluctuations and their impacts on IC interconnect performance has become unavoidable for modern DSM designs. However, the construction of parame...
IJCNLP
2005
Springer
14 years 3 months ago
2005
Springer
In this paper, a resolution system is presented to tackle nominal and pronominal anaphora in biomedical literature by using rich set of syntactic and semantic features. Unlike prev...
ICRA
2003
IEEE
14 years 3 months ago
2003
IEEE
This paper describes recent developments on the model identification and attitude control system for a Micmmechanical Flying lnsect (MFI). We include recently developed dynamical m...