1095 search results - page 18 / 219 » Algebraic Guide Generation |
107
Voted
ACL
1993
15 years 3 months ago
1993
1 Efficient natural language generation has been successfully demonstrated using highly compiled knowledge about speech acts and their related social actions. A design and prototyp...
107
Voted
ORDER
2008
15 years 1 months ago
2008
For a Heyting algebra A, we show that the following conditions are equivalent: (i) A is profinite; (ii) A is finitely approximable, complete, and completely join-prime generated; (...
120
Voted
IJAC
2007
15 years 1 months ago
2007
We show that certain finite groups do not arise as the automorphism group of the square of a finite algebraic structure, nor as the automorphism group of a finite, 2-generated, ...
99
Voted
ICIP
2007
IEEE
16 years 3 months ago
2007
IEEE
Discrete tomography (DT) is concerned with the tomographic reconstruction of images that consist of only a small number of gray levels. DT reconstruction problems are usually unde...
126
Voted
AADEBUG
1993
Springer
15 years 6 months ago
1993
Springer
Animation of execution is a necessary feature of source-level debuggers. We present a framework where animators are generated from existing algebraic speci cations of interpreters....