748 search results - page 44 / 150 » Automatic Presentations and Semigroup Constructions |
UM
2001
Springer
14 years 3 days ago
2001
Springer
Abstract. The generation of formal poetry involves both complex creativity usually exercised by a human poet - and strict algorithmic restrictions regarding the metrical structure ...
ICPR
2000
IEEE
14 years 3 days ago
2000
IEEE
We describe a graph-based global registration method for creating 2D mosaic images. When multi-frames overlap in space, global registration is necessary to minimize the accumulate...
PRICAI
1998
Springer
13 years 12 months ago
1998
Springer
We present a new methodology to automate decision making over time and uncertainty. We adopt a knowledge-based model construction approach to support automated and interactive form...
ICWS
2007
IEEE
13 years 9 months ago
2007
IEEE
The semantic web promises to bring automation to the areas of web service discovery, composition and invocation. In order to realize these benefits, rich semantic descriptions of...
ICCD
2004
IEEE
14 years 4 months ago
2004
IEEE
Formal and dynamic (simulation, emulation, etc.) verification techniques are both needed to deal with the overall challenge of verification. Ideally, the same specification/tes...