Search Sciweavers | Sciweavers

25

COLING
1992

75views Computational Linguistics» more COLING 1992»

Modularity, Parallelism, And Licensing In A Principle-Based Parser For German

13 years 8 months ago

This paper presents a direct implementation of Government-Binding theory in a parser for German, which faithfully models the modular structure of the theory. The modular design yi...

Sebastian Millies

claim paper

Read More »

25

click to vote

WICSA
2008

150views Software Engineering» more WICSA 2008»

Analyzing the Evolution of Large-Scale Software Systems Using Design Structure Matrices and Design Rule Theory: Two Exploratory

13 years 9 months ago

Download www.people.hbs.edu

Software modularization activities remain without the guidance of formal theories and models. According to Baldwin and Clark's [1] design rule theory (DRT) , modular architec...

Matthew J. LaMantia, Yuanfang Cai, Alan MacCormack...

claim paper

Read More »

26

click to vote

FMCAD
2000
Springer

85views Formal Methods» more FMCAD 2000»

A Theory of Consistency for Modular Synchronous Systems

13 years 11 months ago

Download www.cs.cmu.edu

We propose a model for modular synchronous systems with combinational dependencies and define consistency using this model. We then show how to derive this model from a modular spe...

Randal E. Bryant, Pankaj Chauhan, Edmund M. Clarke...

claim paper

Read More »

21

click to vote

JAIR
2008

109views more JAIR 2008»

Modular Reuse of Ontologies: Theory and Practice

13 years 7 months ago

Download www.jair.org

In this paper, we propose a set of tasks that are relevant for the modular reuse of ontologies. In order to formalize these tasks as reasoning problems, we introduce the notions o...

Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazako...

claim paper

Read More »

18

click to vote

RR
2009
Springer

98views Automated Reasoning» more RR 2009»

A Formal Theory for Modular ERDF Ontologies

14 years 2 months ago