Sciweavers

17983 search results - page 330 / 3597
» Set Types and Applications
Sort
View
IROS
2009
IEEE
168views Robotics» more  IROS 2009»
16 years 1 months ago
A stream-based hierarchical anchoring framework
— Autonomous systems situated in the real world often need to recognize, track, and reason about various types of physical objects. In order to allow reasoning at a symbolic leve...
Fredrik Heintz, Jonas Kvarnström, Patrick Doh...
EPIA
2009
Springer
16 years 1 months ago
Learning Visual Object Categories with Global Descriptors and Local Features
Different types of visual object categories can be found in real-world applications. Some categories are very heterogeneous in terms of local features (broad categories) while oth...
Rui Pereira, Luís Seabra Lopes
SAT
2009
Springer
109views Hardware» more  SAT 2009»
16 years 1 months ago
A Compact Representation for Syntactic Dependencies in QBFs
Different quantifier types in Quantified Boolean Formulae (QBF) introduce variable dependencies which have to be taken into consideration when deciding satisfiability of a QBF....
Florian Lonsing, Armin Biere
ARGMAS
2007
Springer
16 years 29 days ago
Defeasible Argumentation Support for an Extended BDI Architecture
Abstract. In this work, an agent architecture that combines defeasible argumentation and the BDI model is described. Argumentation will be used as a mechanism for reasoning about b...
Nicolás D. Rotstein, Alejandro Javier Garc&...
ISWC
2005
IEEE
16 years 10 days ago
Using Ultrasonic Hand Tracking to Augment Motion Analysis Based Recognition of Manipulative Gestures
The paper demonstrates how ultrasonic hand tracking can be used to improve the performance of a wearable, accelerometer and gyroscope based activity recognition system. Specifica...
Georg Ogris, Thomas Stiefmeier, Holger Junker, Pau...