Sciweavers

1676 search results - page 230 / 336
» Formal System Development with KIV
Sort
View
136
Voted
ISTA
2003
15 years 5 months ago
Tools for Generation of Natural Inflected Language Processors
Supporting multiple languages and natural language processing are of high importance in information systems. This paper discusses software tools for the generation of languages pro...
Nadiya Mishchenko, Anatoly E. Doroshenko
AAAI
1994
15 years 5 months ago
A Model of Creative Understanding
Although creativity has largely been studied in problem solving contexts, creativity consists of both a generative component and a comprehension component. In particular, creativi...
Kenneth Moorman, Ashwin Ram
COLING
1992
15 years 5 months ago
Broad Coverage Automatic Morphological Segmentation of German Words
A system for the automatic segmentation of German words into morphs was developed. The main linguistic knowledge sources used by the system are a word syntax and a morph dictionar...
T. Pachunke, O. Mertineit, Klaus Wothke, Rudolf Sc...
DEBU
2010
147views more  DEBU 2010»
15 years 4 months ago
Evaluating the Effectiveness of Keyword Search
The prevalence of free text search in web search engines has inspired recent interest in keyword search on relational databases. Whereas relational queries formally specify matchi...
William Webber
ECEASST
2008
75views more  ECEASST 2008»
15 years 4 months ago
Extended OCL for Goal Monitoring
Monitoring human-computer interaction aids the analysis for understanding how well software meets its purpose. In particular, monitoring human-computer interactions with respect to...
William N. Robinson