Sciweavers

330 search results - page 18 / 66
» Effective Complexity and its Relation to Logical Depth
Sort
View
CORR
2010
Springer
185views Education» more  CORR 2010»
13 years 4 months ago
Analysing the behaviour of robot teams through relational sequential pattern mining
This report outlines the use of a relational representation in a Multi-Agent domain to model the behaviour of the whole system. A desired property in this systems is the ability of...
Grazia Bombini, Raquel Ros, Stefano Ferilli, Ramon...
AI
2000
Springer
13 years 7 months ago
Using temporal logics to express search control knowledge for planning
Over the years increasingly sophisticated planning algorithms have been developed. These have made for more efficient planners, but unfortunately these planners still suffer from ...
Fahiem Bacchus, Froduald Kabanza
TOCHI
2002
63views more  TOCHI 2002»
13 years 7 months ago
Rivalry and interference with a head-mounted display
Perceptual factors that effect monocular, transparent (a.k.a "see-thru") head mounted displays include binocular rivalry, visual interference, and depth of focus. We rep...
Robert S. Laramee, Colin Ware
TLCA
2005
Springer
14 years 1 months ago
Naming Proofs in Classical Propositional Logic
Abstract. We present a theory of proof denotations in classical propologic. The abstract definition is in terms of a semiring of weights, and two concrete instances are explored. ...
François Lamarche, Lutz Straßburger
ITCC
2003
IEEE
14 years 28 days ago
Estimation Of Motion From A Sequence Of Images Using Spherical Projective Geometry
: Motion is an important cue for many applications. Here we propose a solution for estimating motion from a sequence of images using three algorithms, viz., Batch, Recursive and Bo...
Madasu Hanmandlu, Shantaram Vasikarla, Vamsi Krish...