35 search results - page 2 / 7 » An Alternative Conception of Tree-Adjoining Derivation |
SWAP
2008
13 years 7 months ago
2008
Abstract. The limitations of deductive logic-based approaches at deriving operational knowledge from ontologies may be overcome by inductive (instancebased) methods, which are usua...
ACTA
1998
13 years 5 months ago
1998
The paper focusses on the logical backgrounds of the Dijkstra-Scholten program development style for correct programs. For proving the correctness of a program (i.e. the fact that...
EMO
2001
Springer
13 years 10 months ago
2001
Springer
This paper examines the road train concept as a new alternative in long-distance freight traffic. The design of such a system is a difficult task since many different and conflicti...
SPIRE
2001
Springer
13 years 10 months ago
2001
Springer
Abstract. This paper examines a conflation method based on the N-grams approach and evaluates its performance relative to the results achieved by other techniques such as Porter a...
ER
2007
Springer
13 years 9 months ago
2007
Springer
Abstract. Definitions of the concepts derived from the goal concept (including functional and nonfunctional goal, hardgoal, and softgoal) used in requirements engineering are discu...