2625 search results - page 292 / 525 » Applications 2000 |
194
click to vote
SOFSEM
2000
Springer
15 years 10 months ago
2000
Springer
The capability of perceiving the environment is crucial for advancing the level of autonomy and sophistication of (semi)autonomous robotic systems and determines the complexity of ...
151
click to vote
SPATIALCOGNITION
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. In the context of a research about application of dynamic visualisation parameters in animations for monitoring purposes, this paper reports on characteristics of dynamic...
152
Voted
SPIN
2000
Springer
15 years 10 months ago
2000
Springer
In this paper, we describe our application of SPIN 1 to model an algorithm used to synchronize the clocks of modules that provide periodic real-time communication over a network. W...
180
click to vote
TACAS
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. The Prosper (Proof and Specification Assisted Design Environments) project advocates the use of toolkits which allow existing verification tools to be adapted to a more f...
180
Voted
TSDM
2000
15 years 10 months ago
2000
The novel Time Series Data Mining (TSDM) framework is applied to analyzing financial time series. The TSDM framework adapts and innovates data mining concepts to analyzing time ser...