Sciweavers

2670 search results - page 397 / 534
» Modeling systems with internal state using evolino
Sort
View
PODC
2004
ACM
15 years 11 months ago
Asynchronous group key exchange with failures
Group key exchange protocols allow a group of servers communicating over an asynchronous network of point-to-point links to establish a common key, such that an adversary which fu...
Christian Cachin, Reto Strobl
ICCS
2007
Springer
16 years 15 days ago
Two Extensions of Data Assimilation by Field Alignment
Abstract. Classical formulations of data-assimilation perform poorly when forecast locations of weather systems are displaced from their observations. They compensate position erro...
Sai Ravela
WSC
2007
15 years 8 months ago
Simulation-aided path planning of UAV
The problem of path planning for Unmanned Aerial Vehicles (UAV) with a tracking mission, when some a priori information about the targets and the environment is available can in s...
Farzad Kamrani, Rassul Ayani
RSP
2006
IEEE
125views Control Systems» more  RSP 2006»
16 years 10 days ago
Creation and Validation of Embedded Assertion Statecharts
This paper addresses the need to integrate formal assertions into the modeling, implementation, and testing of statechart based designs. The paper describes an iterative process f...
Doron Drusinsky, Man-tak Shing, Kadir Alpaslan Dem...
ECIS
2000
15 years 7 months ago
A Framework for Clinical Decision Making and Medical Experience Storing
Different models of Decision Support Systems (DSS) are used in medicine to help physicians in disease diagnosis, prognosis evaluation and therapy prescription. The DSS models rely ...
Joël Colloc, Laïd Bouzidi