Sciweavers

1655 search results - page 239 / 331
» State, Event, Time and Diagram in System Modeling
Sort
View
ICRA
2010
IEEE
88views Robotics» more  ICRA 2010»
15 years 4 months ago
Relaxed optimization for mode estimation in skid steering
— Skid-steered vehicles, by design, must skid in order to maneuver. The skidding causes the vehicle to behave discontinuously as well as introduces complications to the observati...
Timothy M. Caldwell, Todd D. Murphey
IJACTAICIT
2010
153views more  IJACTAICIT 2010»
15 years 1 months ago
Prediction Using Recurrent Neural Network Based Fuzzy Inference system by the Modified Bees Algorithm
In this paper, a recurrent neural network based fuzzy inference system (RNFIS) for prediction is proposed. A recurrent network is embedded in the RNFIS by adding feedback connecti...
Zahra Khanmirzaei, Mohammad Teshnehlab
JLP
2007
99views more  JLP 2007»
15 years 6 months ago
Resources in process algebra
The algebra of communicating shared resources (ACSR) is a timed process algebra which extends classical process algebras with the notion of a resource. It takes the view that the ...
Insup Lee, Anna Philippou, Oleg Sokolsky
GRID
2006
Springer
15 years 6 months ago
Resource Allocation in Streaming Environments
This paper considers resource allocation algorithms for processing streams of events on computational grids. For example, financial trading applications are executed on large comp...
Lu Tian, K. Mani Chandy
LICS
1993
IEEE
15 years 10 months ago
Verifying Programs with Unreliable Channels
We consider the veri cation of a particular class of in nite-state systems, namely systems consisting of nite-state processes that communicate via unbounded lossy FIFO channels. T...
Parosh Aziz Abdulla, Bengt Jonsson