1746 search results - page 153 / 350 » Residual for Component Specifications |
133
click to vote
COLING
1990
15 years 5 months ago
1990
This paper describes the general architecture of generation in the ACORDproject. The central module of this architecture is a planning component, which allows to plan single sente...
110
click to vote
DEDS
2008
15 years 4 months ago
2008
The paper addresses the problem of designing a component that combined with a known part of a system, called the context FSM, is a reduction of a given specification FSM. We study...
145
click to vote
IPPS
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract--The expression of parallel codes through abstract, high-level specifications of global control and data flow can greatly simplify the task of creating large parallel prog...
151
click to vote
LPAR
2010
Springer
15 years 2 months ago
2010
Springer
We investigate the complexity of preorder checking when the specification is a flat finite-state system whereas the implementation is either a non-flat finite-state system or a st...
153
click to vote
IPM
2010
15 years 1 months ago
2010
Focusing on the context of XML retrieval, in this paper we propose a general methodology for managing structured queries (involving both content and structure) within any given st...