2645 search results - page 55 / 529 » time 2003 |
109
click to vote
HYBRID
2003
Springer
15 years 7 months ago
2003
Springer
This paper presents a Hoare-style logic for reasoning about the frequency response of control systems in the continuous-time domain. Two properties, the gain (amplitude) and phase ...
139
Voted
ICALP
2003
Springer
15 years 7 months ago
2003
Springer
We study the number of steps required to reach a pure Nash Equilibrium in a load balancing scenario where each job behaves selfishly and attempts to migrate to a machine which will...
104
click to vote
IS4TH
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. The context of this research is the development of a pedagogical surgery simulator for colon cancer removal. More precisely, we would like to simulate the gesture which c...
147
click to vote
CAINE
2003
15 years 3 months ago
2003
Most distributed real-time embedded systems are specified combining state diagram and data flow languages. This leads to several real-time codes which together do not necessaril...
124
Voted
DGO
2003
15 years 3 months ago
2003
This paper presents an overview of the motivation for, and the use of time-series data mining in, a Geospatial Decision Support System (GDSS). Our approach is based on a combinati...