488 search results - page 55 / 98 » On the Formal Generation of Process Redesigns |
125
click to vote
EACL
2009
ACL Anthology
16 years 2 months ago
2009
ACL Anthology
We present novel parsing algorithms for several sets of mildly non-projective dependency structures. First, we define a parser for well-nested structures of gap degree at most 1, ...
121
Voted
KES
2004
Springer
15 years 7 months ago
2004
Springer
In this case study I argue for the usage of a machine-oriented controlled natural language as interface language to knowledge systems. Instead of using formal languages that are di...
132
Voted
EJC
2000
15 years 3 months ago
2000
Even if a problem solving method and a domain ontology has been identified, there still remains the problem of adding sufficient and consistent domain knowledge to a knowledge proc...
140
click to vote
AAAI
1994
15 years 3 months ago
1994
Although creativity has largely been studied in problem solving contexts, creativity consists of both a generative component and a comprehension component. In particular, creativi...
121
Voted
NJC
2002
15 years 1 months ago
2002
The tcc model is a formalism for reactive concurrent constraint programming. We present a model of temporal concurrent constraint programming which adds to tcc the capability of mo...