Sciweavers

2670 search results - page 95 / 534
» Modeling systems with internal state using evolino
Sort
View
ATAL
2005
Springer
15 years 12 months ago
Layered message semantics using social commitments
Although mental states have its own place in the definition of message semantics, social commitments have emerged as a complementing element to circumvent the limitations of usin...
Roberto A. Flores, Philippe Pasquier, Brahim Chaib...
ESANN
2007
15 years 7 months ago
Three-dimensional self-organizing dynamical systems for discrete structures memorizing and retrieval
The synthesis concept for dynamical system with the memory of multiple states defined with the quaternion algebra usage is considered. The system memorizes numerous configurations ...
Alexander Yudashkin
KI
2009
Springer
16 years 28 days ago
On Defaults in Action Theories
Abstract. We study the integration of two prominent fields of logicbased AI: action formalisms and non-monotonic reasoning. The resulting framework allows an agent employing an ac...
Hannes Strass, Michael Thielscher
JRTIP
2007
109views more  JRTIP 2007»
15 years 6 months ago
Robust GPU-assisted camera tracking using free-form surface models
We propose a marker-less model-based camera tracking approach, which makes use of GPU-assisted analysis-by-synthesis methods on a very wide field of view (e.g. fish-eye) camera. ...
Kevin Köser, Bogumil Bartczak, Reinhard Koch
APN
2008
Springer
15 years 8 months ago
MC-SOG: An LTL Model Checker Based on Symbolic Observation Graphs
Model checking is a powerful and widespread technique for the verification of finite distributed systems. However, the main hindrance for wider application of this technique is the...
Kais Klai, Denis Poitrenaud