1788 search results - page 261 / 358 » Model Theory for Process Algebra |
115
click to vote
AUTOMATICA
2008
15 years 4 months ago
2008
This paper consists of two parts. The first part is the development of a datadriven Kalman filter for a non-uniformly sampled multirate (NUSM) system, including identification of ...
133
click to vote
CONNECTION
2006
15 years 4 months ago
2006
This article describes a developmental system based on information theory implemented on a real robot that learns a model of its own sensory and actuator apparatus. There is no in...
139
Voted
SIMPRA
2008
15 years 3 months ago
2008
This paper addresses the problem of verifying the discrete control logic that is typically implemented by programmable controllers. Not only are the logical properties of the cont...
126
click to vote
ICRA
2010
IEEE
15 years 2 months ago
2010
IEEE
— This paper presents a novel approach based on Jacobi shape theory and geometric reduction for formation control of autonomous underwater vehicles (AUVs). We consider a three de...
114
click to vote
ACL
2010
15 years 2 months ago
2010
The emergence of social media brings chances, but also challenges, to linguistic analysis. In this paper we investigate a novel problem of discovering patterns based on emotion an...