1633 search results - page 244 / 327 » On the Verification of Temporal Properties |
ADBIS
2006
Springer
14 years 4 months ago
2006
Springer
In order to search similar moving object trajectories, the previously used methods focused on Euclidean distance and considered only spatial similarity. Euclidean distance is not a...
ATAL
2005
Springer
14 years 4 months ago
2005
Springer
Temporal difference (TD) learning methods [22] have become popular reinforcement learning techniques in recent years. TD methods have had some experimental successes and have been...
COSIT
2005
Springer
14 years 4 months ago
2005
Springer
Arrows are major components of diagrams, where they are typically used to facilitate the communication of spatial and temporal knowledge. An automated interpretation of arrow diagr...
DALT
2004
Springer
14 years 4 months ago
2004
Springer
Declarative modelling approaches in principle assume a notion of representation or representational content for the modelling concepts. The notion of representational content as di...
IBERAMIA
2004
Springer
14 years 4 months ago
2004
Springer
In this paper the phonetic and speech corpus DIMEx100 for Mexican Spanish is presented. We discuss both the linguistic motivation and the computational tools employed for the desig...