Sciweavers

1390 search results - page 146 / 278
» On the Algebraic Structure of Convergence
Sort
View
ISER
1997
Springer
142views Robotics» more  ISER 1997»
15 years 10 months ago
Adaptive Visual Servoing for Various Kinds of Robot Systems
Abstract: This paper propose an adaptive visual servoing method consisting of an on-line estimator of the robot/image Jacobian matrix and a feedback/feedforward controller for unca...
Koh Hosoda, Minoru Asada
ESANN
2004
15 years 8 months ago
Self-organizing context learning
This work is designed to contribute to a deeper understanding of the recently proposed Merging SOM (MSOM). Its context model aims at the representation of sequences, an important s...
Marc Strickert, Barbara Hammer
MTA
2008
87views more  MTA 2008»
15 years 6 months ago
Broadband multimedia on the move with DVB-H
DVB-H is the newly standardized extension to DVB-T, aiming at the provision of IP datacasting (IPDC) services to mobile terminals. This tutorial paper outlines the structure of an ...
Georgios Gardikis, Georgios Xilouris, Charalabos S...
LICS
2009
IEEE
16 years 1 months ago
Psi-calculi: Mobile Processes, Nominal Data, and Logic
A psi-calculus is an extension of the pi-calculus with nominal data types for data structures and for logical assertions representing facts about data. These can be transmitted be...
Jesper Bengtson, Magnus Johansson, Joachim Parrow,...
CSL
2007
Springer
16 years 21 days ago
Not Enough Points Is Enough
Models of the untyped λ-calculus may be defined either as applicative structures satisfying a bunch of first order axioms, known as “λ-models”, or as (structures arising fr...
Antonio Bucciarelli, Thomas Ehrhard, Giulio Manzon...