Sciweavers

29143 search results - page 286 / 5829
» A Sortation System Model
Sort
View
LICS
2000
IEEE
15 years 11 months ago
Models for Name-Passing Processes: Interleaving and Causal
We study syntax-free models for name-passing processes. For interleaving semantics, we identify the indexing structure required of an early labelled transition system to support t...
Gian Luca Cattani, Peter Sewell
ISORC
2003
IEEE
15 years 12 months ago
Probabilistic Simulation-Based Analysis of Complex Real-Time Systems
Many industrial real-time systems have evolved over a long period of time and were initially so simple that it was possible to predict consequences of adding new functionality by ...
Anders Wall, Johan Andersson, Christer Norströ...
ICRA
2005
IEEE
145views Robotics» more  ICRA 2005»
16 years 5 days ago
Modeling the Static and the Dynamic Parts of the Environment to Improve Sensor-based Navigation
— This paper addresses the modeling of the static and dynamic parts of the scenario and how to use this information within a real sensor-based navigation system. The contribution...
Luis Montesano, Javier Minguez, Luis Montano
ICTAI
2005
IEEE
16 years 5 days ago
Hybrid Learning Neuro-Fuzzy Approach for Complex Modeling Using Asymmetric Fuzzy Sets
A hybrid learning neuro-fuzzy system with asymmetric fuzzy sets (HLNFS-A) is proposed in this paper. The learning methods of random optimization (RO) and least square estimation (...
Chunshien Li, Kuo-Hsiang Cheng, Jiann-Der Lee
ICDAR
2003
IEEE
15 years 12 months ago
N-Gram and N-Class Models for On line Handwriting Recognition
This paper highlights the interest of a language model in increasing the performances of on-line handwriting recognition systems. Models based on statistical approaches, trained o...
Freddy Perraud, Christian Viard-Gaudin, Emmanuel M...