4498 search results - page 296 / 900 » How to Invent Functions |
115
Voted
MIRRORBOT
2005
Springer
15 years 10 months ago
2005
Springer
In this paper we present our bio-mimetic artificial arm and the simulation results on its low level control system. In accordance with the general view of the Biorobotics field w...
120
click to vote
OTM
2005
Springer
15 years 10 months ago
2005
Springer
In this paper, we describe how ORM is extended, and combined with Concurrent Task Trees (CTT) to model the content as well as the functionality of a web system in the web design me...
120
click to vote
SEMWEB
2005
Springer
15 years 10 months ago
2005
Springer
The paper presents a framework for introducing design patterns that facilitate or improve the techniques used during ontology lifecycle. Some distinctions are drawn between kinds o...
115
click to vote
SOFSEM
2005
Springer
15 years 10 months ago
2005
Springer
We give a new characterization of those languages that are definable in fragments of LTL where the nesting depths of X and U modalities are bounded by given constants. This brings...
138
Voted
TLCA
2005
Springer
15 years 10 months ago
2005
Springer
We give a monadic semantics in the category of FM-cpos to a higher-order CBV language with recursion and dynamically allocated mutable references that may store both ground data an...