1126 search results - page 208 / 226 » Modularity and the Rule of Adaptation |
TACAS
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. We present a compositional verification technique for systems that exhibit both probabilistic and nondeterministic behaviour. We adopt an assume-guarantee approach to ver...
CIARP
2009
Springer
13 years 6 months ago
2009
Springer
Abstract. Parallel texts are enriched by alignment algorithms, thus establishing a relationship between the structures of the implied languages. Depending on the alignment level, t...
EUSFLAT
2009
13 years 6 months ago
2009
This paper presents an adaptive neuro-fuzzy inference system (ANFIS) for USD/JPY exchange rates forecasting. Previous work often used time series techniques and neural networks (NN...
HCI
2009
13 years 6 months ago
2009
Abstract. Current commercial mobile navigation systems often use a predetermined scale selection schema without considering differences in spatial complexity of locations. To ident...
ICRA
2009
IEEE
2009
IEEE
Temporal stabilization of discrete movement in variable environments: An attractor dynamics approach
13 years 6 months ago
The ability to generate discrete movement with distinct and stable time courses is important for interaction scenarios both between different robots and with human partners, for ca...