4820 search results - page 440 / 964 » Implementing Signatures for C |
156
Voted
MIDDLEWARE
2005
Springer
15 years 10 months ago
2005
Springer
In this paper, we present the concept of follow-me semantics of the large-scale pervasive application and discuss the features and services to its implementation based on the inte...
141
Voted
MIRRORBOT
2005
Springer
15 years 10 months ago
2005
Springer
This paper presents a human-like control of an innovative biped robot. The robot presents a total of twelve degrees of freedom; each joint resemble the functionalities of the human...
148
Voted
NIME
2005
Springer
15 years 10 months ago
2005
Springer
A wide variety of singing synthesis models and methods exist, but there are remarkably few real-time controllers for these models. This paper describes a variety of devices develo...
121
click to vote
SPIN
2005
Springer
15 years 10 months ago
2005
Springer
Embedded software verification is an important verification problem that requires the ability to reason about the timed semantics of concurrent behaviors at a low level of atomic...
159
click to vote
TABLEAUX
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Description Logics (DLs) are a family of logic based knowledge representation formalisms. Although they have a range of applications (e.g., configuration and information...