1895 search results - page 33 / 379 » Modular Functional Descriptions |
COLING
1992
13 years 8 months ago
1992
A small fragment of the Systemic Functional Grammar of the PENMANsystem is reformulated in the Typed Feature Structure language. Through this reformulation wc gain full reversibil...
CONEXT
2006
ACM
14 years 1 months ago
2006
ACM
This paper presents the MRCP (Modular Routing Control Platform), a routing control architecture that provides complete control and visibility of interdomain routing in a single AS...
CF
2004
ACM
14 years 1 months ago
2004
ACM
This paper discusses fault-tolerant techniques for SRAM-based FPGAs. These techniques can be based on circuit level modifications, with obvious modifications in the programmable a...
FROCOS
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. We present an overview of results on hierarchical and modular reasoning in complex theories. We show that for a special type of extensions of a base theory, which we call...
CORR
2011
Springer
13 years 2 months ago
2011
Springer
We provide an overall description of the Ciao multiparadigm programming system emphasizing some of the novel aspects and motivations behind its design and implementation. An impor...