4820 search results - page 440 / 964 » Implementing Signatures for C |
188
click to vote
MIDDLEWARE
2005
Springer
16 years 10 days 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...
174
click to vote
MIRRORBOT
2005
Springer
16 years 10 days 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...
187
click to vote
NIME
2005
Springer
16 years 9 days 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...
167
click to vote
SPIN
2005
Springer
16 years 9 days 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...
191
click to vote
TABLEAUX
2005
Springer
16 years 9 days 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...