1187 search results - page 90 / 238 » Graph-Based Procedural Abstraction |
124
click to vote
ICTIR
2009
Springer
14 years 11 months ago
2009
Springer
Abstract. A mismatch between differenteventspaceshasbeen used toargue against rank equivalence of classic probabilistic models of information retrieval and language models. We ques...
SYMMETRY
2010
14 years 8 months ago
2010
Abstract: The vertices of regular four-dimensional polytopes are used to generate sets of uniformly distributed three-dimensional rotations, which are provided as tables of Euler a...
171
click to vote
SCIA
2011
Springer
14 years 4 months ago
2011
Springer
Abstract. In this theoretical paper we consider the problem of accurately triangulating a scene plane. Rather than first triangulating a set of points and then fitting a plane to...
113
click to vote
AVSS
2009
IEEE
15 years 8 months ago
2009
IEEE
— Classical tracking methods are often insufficient when dealing with complex scenarios. In order to solve tracking errors, innovative techniques based on the use of information ...
111
click to vote
MKM
2007
Springer
15 years 7 months ago
2007
Springer
We address some aspects of a proposed system architecture for mathematical assistants, integrating calculations and deductions by common infrastructure within the Isabelle theorem ...