1772 search results - page 228 / 355 » The Model Coupling Toolkit |
110
Voted
SASO
2008
IEEE
15 years 9 months ago
2008
IEEE
We investigate periodic time synchronization of networks without centralized control, which can be modeled as a problem of aligning local variables taking values on a circle. Sync...
117
Voted
ICDE
2007
IEEE
15 years 9 months ago
2007
IEEE
The ability to query data streams is of increasing importance and has been identified as a crucial element for modern organizations and agencies. This paper identifies a class o...
129
Voted
SMC
2007
IEEE
15 years 9 months ago
2007
IEEE
– In this paper, we present a hierarchical methodology that learns new walking gaits autonomously while operating in an uncharted environment, such as on the Mars planetary surfa...
89
Voted
FPL
2007
Springer
15 years 8 months ago
2007
Springer
Localization and Mapping are two of the most important capabilities for autonomous mobile robots and have been receiving considerable attention from the scientific computing commu...
110
Voted
FSTTCS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Pushdown systems (PDSs) are an automata-theoretic formalism for specifying a class of infinite-state transition systems. Infiniteness comes from the fact that each con...