Sciweavers

338 search results - page 38 / 68
» Approximation Spaces and Information Granulation
Sort
View
ICRA
1994
IEEE
137views Robotics» more  ICRA 1994»
15 years 1 months ago
Local Incremental Planning for Nonholonomic Mobile Robots
We present a simple approach for planning the motion of nonholonomic robots among obstacles. Existing methods lead to open-loop solutions which are either obtained in two stages, ...
Alessandro De Luca, Giuseppe Oriolo
ATAL
2008
Springer
14 years 11 months ago
Towards verifying compliance in agent-based web service compositions
We explore the problem of specification and verification of compliance in agent based Web service compositions. We use the formalism of temporal-epistemic logic suitably extended ...
Alessio Lomuscio, Hongyang Qu, Monika Solanki
ICMLA
2008
14 years 11 months ago
Basis Function Construction in Reinforcement Learning Using Cascade-Correlation Learning Architecture
In reinforcement learning, it is a common practice to map the state(-action) space to a different one using basis functions. This transformation aims to represent the input data i...
Sertan Girgin, Philippe Preux
EUSFLAT
2003
187views Fuzzy Logic» more  EUSFLAT 2003»
14 years 11 months ago
Edge orientation-based fuzzy Hough transform (EOFHT)
The Hough Transform [6] -HT- is a standard tool in image analysis that allows recognizing global patterns in an image space. To detect shapes in noisy data, preserving the idea of...
Eduard Montseny, Pilar Sobrevilla, Pere Marè...
FLAIRS
2000
14 years 10 months ago
Verification of Cooperating Systems - An Approach Based on Formal Languages
Behaviour of systems is described by formal languages: the sets of all sequences of actions. Regarding ion, alphabetic language homomorphisms are compute abstract behaviours. To a...
Peter Ochsenschläger, Jürgen Repp, Rolan...