186 search results - page 7 / 38 » Categorical Views on Computations on Trees (Extended Abstrac... |
ECCV
2008
Springer
14 years 9 months ago
2008
Springer
Abstract. We present an approach to determine the category and location of objects in images. It performs very fast categorization of each pixel in an image, a brute-force approach...
EUROPAR
2001
Springer
13 years 12 months ago
2001
Springer
Abstract. When parallelizing hierarchical view frustum culling and collision detection, the low computation cost per node and the fact that the traversal path through the tree stru...
CONCUR
2006
Springer
13 years 9 months ago
2006
Springer
Propositional temporal logic is not suitable for expressing properties on the evolution of dynamically allocated entities over time. In particular, it is not possible to trace such...
IJCNN
2007
IEEE
14 years 1 months ago
2007
IEEE
— The relationship between subsymbolic neural networks and symbolic logical systems is discussed from the point of view of the account of computational science by Paul Humphreys ...
FOSSACS
2004
Springer
14 years 24 days ago
2004
Springer
Labelled Markov processes (LMPs) are automata whose transitions are given by probability distributions. In this paper we present a ‘universal’ LMP as the spectrum of a commutat...