3693 search results - page 526 / 739 » Paper on the Move |
146
click to vote
CAISE
2001
Springer
15 years 8 months ago
2001
Springer
The UML lacks precise and formal foundations for several constructs such as transition guards or method bodies, for which it resorts to semantic loopholes in the form of “uninter...
136
Voted
EVOW
2001
Springer
15 years 8 months ago
2001
Springer
The field of mobile robotics offers a new medium for public entertainment and art. Mobile robots can move, react, and interact in the real world, generating behaviors that can be u...
126
Voted
FM
2001
Springer
15 years 8 months ago
2001
Springer
The Irish School of Constructive Mathematics (M♣ c ), which extends the VDM, exploits an algebraic notation based upon monoids and their morphisms for the purposes of abstract mo...
140
click to vote
ISMIR
2001
Springer
15 years 8 months ago
2001
Springer
In this paper, the problem of processing audio signals is addressed in the context of query-by-humming systems. Since singing is naturally used as input, we aim to develop a front...
153
Voted
MA
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. The goal of mobile agent systems is to provide a distributed computing infrastructure supporting applications whose components can move between different execution enviro...