748 search results - page 8 / 150 » Automatic Presentations and Semigroup Constructions |
FLAIRS
2006
13 years 9 months ago
2006
This paper presents three new algorithms for the automatic construction of models from Object Oriented Probabilistic RelationalModels. The first two algorithms are based on the kn...
IPL
2006
13 years 7 months ago
2006
We present a Coq-formalised proof that all non-cooperative, sequential games have a Nash equilibrium point. Our proof methodology follows the style advocated by LCFstyle theorem p...
SIGGRAPH
1997
ACM
13 years 11 months ago
1997
ACM
In 1992, Barr et al. proposed a method for interpolating orientations with unit quaternion curves by minimizing covariant acceleration. This paper presents a simple improved metho...
LREC
2010
13 years 9 months ago
2010
In this paper, we present our work on constructing a textual semantic relation corpus by making use of an existing treebank annotated with discourse relations. We extract adjacent...
VR
2008
IEEE
14 years 2 months ago
2008
IEEE
One of the main goals of anywhere augmentation is the development of automatic algorithms for scene acquisition in augmented reality systems. In this paper, we present Envisor, a ...