Sciweavers

5624 search results - page 236 / 1125
» On Conditional Covering Problem
Sort
View
CVIU
2008
113views more  CVIU 2008»
15 years 6 months ago
Image understanding for iris biometrics: A survey
This survey covers the historical development and current state of the art in image understanding for iris biometrics. Most research publications can be categorized as making thei...
Kevin W. Bowyer, Karen Hollingsworth, Patrick J. F...
FUIN
2008
91views more  FUIN 2008»
15 years 6 months ago
A Deductive Proof System for Multithreaded Java with Exceptions
Abstract. Besides the features of a class-based object-oriented language, Java integrates concurrency via its thread-classes, allowing for a multithreaded flow of control. Besides ...
Erika Ábrahám, Frank S. de Boer, Wil...
IJVR
2008
119views more  IJVR 2008»
15 years 6 months ago
Animal Flocks as Natural and Dynamic Spatial Clues in Adventure Video-games
This paper proposes the use of animal flocks to naturally provide spatial clues in adventure video-games. This approach complements the so far proposed mechanisms to support naviga...
Jesús Ibáñez-Martínez,...
TOCL
2008
128views more  TOCL 2008»
15 years 6 months ago
A comprehensive combination framework
fragment enjoys suitable noetherianity conditions and admits an abstract version of a `KeislerShelah like' isomorphism theorem. We show that this general decidability transfer...
Silvio Ghilardi, Enrica Nicolini, Daniele Zucchell...
IJRR
2010
132views more  IJRR 2010»
15 years 3 months ago
LQR-trees: Feedback Motion Planning via Sums-of-Squares Verification
Advances in the direct computation of Lyapunov functions using convex optimization make it possible to efficiently evaluate regions of attraction for smooth nonlinear systems. Her...
Russ Tedrake, Ian R. Manchester, Mark Tobenkin, Jo...