Sciweavers

8959 search results - page 227 / 1792
» Composing aspects with aspects
Sort
View
ISMB
1993
15 years 8 months ago
Grammatical Formalization of Metabolic Processes
In the field of biotechnologyand medicineit is of interest to modeland simulate metabolicprocesses. The usual methods to model metabolic pathwaysare chemicaldescriptions anddiffer...
Ralf Hofestädt
COLING
1992
15 years 7 months ago
Explanatory Text Planning In Logic Based Systems
This paper discusses aspects of the planning of explanatory texts for logic based systems. It presentsa methodfor derivingNaturalLanguagetext plansfrom Natural Deduction-basedstru...
Clarisse Sieckenius de Souza, Maria das Graç...
COGSCI
2006
99views more  COGSCI 2006»
15 years 6 months ago
Dynamics of Phonological Cognition
A fundamental problem in spoken language is the duality between the continuous aspects of phonetic performance and the discrete aspects of phonological competence. We study 2 inst...
Adamantios I. Gafos, Stefan Benus
JSC
2006
122views more  JSC 2006»
15 years 6 months ago
An automated prover for Zermelo-Fraenkel set theory in Theorema
This paper presents some fundamental aspects of the design and the implementation of an automated prover for Zermelo-Fraenkel set theory within the well-known Theorema system. The...
Wolfgang Windsteiger
JOLLI
2007
83views more  JOLLI 2007»
15 years 6 months ago
Modeling generalized implicatures using non-monotonic logics
This paper reports on an approach to model generalized implicatures using nonmonotonic logics. The approach, called compositional, is based on the idea of compositional semantics, ...
Jacques Wainer