Sciweavers

9284 search results - page 1609 / 1857
» Knowledge State Algorithms
Sort
View
VMV
2007
118views Visualization» more  VMV 2007»
15 years 7 months ago
Interactive Model-based Image Registration
We present an interactive technique for the registration of captured images of elastic and rigid body parts in which the user is given flexible control over material specific de...
Thomas Schiwietz, Joachim Georgii, Rüdiger We...
WEWORC
2007
162views Cryptology» more  WEWORC 2007»
15 years 7 months ago
New Attacks on the Stream Cipher TPy6 and Design of New Ciphers the TPy6-A and the TPy6-B
The stream ciphers Py, Pypy and Py6 were designed by Biham and Seberry for the ECRYPT-eSTREAM project in 2005. The ciphers were promoted to the ‘Focus’ ciphers of the Phase II ...
Gautham Sekar, Souradyuti Paul, Bart Preneel
WOA
2007
15 years 7 months ago
An Agent Based Solution for Dispatching Items in a Distributed Environment
—This paper describes Herald, an agent based toolkit for dispatching and processing items in a distributed environment. Herald is suitable for scenarios where the process could b...
Christian Vecchiola, Alberto Grosso, Andrea Passad...
ATAL
2010
Springer
15 years 7 months ago
Dora the Explorer: a motivated robot
Dora the Explorer is a mobile robot with a sense of curiosity and a drive to explore its world. Given an incomplete tour of an indoor environment, Dora is driven by internal motiv...
Nick Hawes, Marc Hanheide, Kristoffer Sjö&oum...
BIRTHDAY
2010
Springer
15 years 7 months ago
DKAL and Z3: A Logic Embedding Experiment
Yuri Gurevich and Itay Neeman proposed the Distributed Knowledge Authorization Language, DKAL, as an expressive, yet very succinctly expressible logic for distributed authorization...
Sergio Mera, Nikolaj Bjørner
« Prev « First page 1609 / 1857 Last » Next »