4767 search results - page 708 / 954 » Structures for Abstract Rewriting |
186
Voted
AMIRE
2005
Springer
15 years 6 months ago
2005
Springer
Abstract— Climbing is a challenging task for autonomous mobile robots primarily due to requirements for agile locomotion, and high maneuverability as well as robust and efficient...
113
click to vote
APN
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. High-Level net models following the paradigm “nets as tokens” have been studied already in the literature with several interesting applications. In this paper we prop...
88
Voted
APWEB
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Essential to an audience driven website design philosophy is the organization of information and functionality according to the requirements of the different audience cla...
91
Voted
ASM
2005
ASM
15 years 6 months ago
2005
ASM
Abstract. This paper presents a new approach to model and test hierarchical Graphical User Interfaces (GUIs). We exploit the structure of Hierarchical Finite State Machines (HFSMs)...
92
Voted
ATAL
2005
Springer
15 years 6 months ago
2005
Springer
a growing need to study abstract problems in distributed multi-agent systems in a systematic way, as well as to provide a qualitative mathematical framework in which to compare po...