1194 search results - page 76 / 239 » A Language for Implementing Arbitrary Logics |
ICMI
2007
Springer
15 years 3 months ago
2007
Springer
Abstract— This paper presents a tactile language for controlling a robot through its artificial skin. This language greatly improves the multimodal human-robot communication by ...
SCOPES
2005
Springer
15 years 3 months ago
2005
Springer
Development of network communication in a homogeneous sensor network environment is straightforward as the nodes can share message layouts simply by letting the compiler lay out m...
115
click to vote
OOPSLA
2009
Springer
15 years 4 months ago
2009
Springer
An object diagram makes explicit the object structures that are only implicit in a class diagram. An object diagram may be missing and must extracted from the code. Alternatively,...
JSYML
2010
14 years 8 months ago
2010
Continuous first-order logic has found interest among model theorists who wish to extend the classical analysis of “algebraic” structures (such as fields, group, and graphs) ...
CADE
2005
Springer
14 years 11 months ago
2005
Springer
We present the CoRe calculus for contextual reasoning which supports reasoning directly at the assertion level, where proof steps are justified in terms of applications of defini...