6833 search results - page 369 / 1367 » Some two-character sets |
186
click to vote
CAV
1993
Springer
15 years 11 months ago
1993
Springer
Abstract. We describe the implementation, within ALDEBARAN of an algorithmic method allowing the generation of a minimal labeled transition rom an abstract model ; this minimality ...
172
Voted
CSCW
1994
ACM
15 years 11 months ago
1994
ACM
A growing concern for organizations and groups has been to augment their knowledge and expertise. One such augmentation is to provide an organizational memory, some record of the ...
171
click to vote
ELP
1993
15 years 11 months ago
1993
Abstract. This paper presents work on programming methodologies for the programming tool GCLA. Three methods are discussed which show how to construct the control part of a GCLA pr...
173
click to vote
PARA
1994
Springer
15 years 11 months ago
1994
Springer
A model describing the full quantum mechanical three body problem of the hydrogen molecular ion is presented, and some of the numerical results are subsequently discussed. The ove...
196
click to vote
SIGGRAPH
1992
ACM
15 years 11 months ago
1992
ACM
We define the antiumbra and the antipenumbra of a convex area light source shining through a sequence of convex areal holes in three dimensions. The antiumbra is the volume from w...