1895 search results - page 23 / 379 » Modular Functional Descriptions |
JAIR
2008
13 years 7 months ago
2008
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...
DATE
2008
IEEE
14 years 2 months ago
2008
IEEE
We present several methods to generate modular code from synchronous hierarchical block diagrams. Modularity means code is generated for a given macro (i.e., composite) block inde...
COLING
2000
13 years 7 months ago
2000
s; these annotations provide an abstract description of the effects of particular linguistic choices, allowing the planner to evaluate these choiceswithout needing any linguistic k...
ASWEC
2005
IEEE
14 years 1 months ago
2005
IEEE
Program slicing is a well-known program analysis technique that extracts the elements of a program related to a particular computation. Based on modular monadic semantics of a pro...
AI
2007
Springer
13 years 7 months ago
2007
Springer
Traditionally, consistency is the only criterion for the quality of a theory in logicbased approaches to reasoning about actions. This work goes beyond that and contributes to the...