3552 search results - page 676 / 711 » Proof theory in the abstract |
102
click to vote
LOCA
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. There is increasing interest in location-aware systems and applications. It is important for any designer of such systems and applications to understand the nature of use...
138
click to vote
ASWSD
2004
Springer
15 years 7 months ago
2004
Springer
The paper first presents the integration options of what we call the Timing Description Language (TDL) with MathWorks' Simulink tools. Based on the paradigm of logical executi...
134
click to vote
UPP
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. This is just a glimpse to the fruitful and constant preoccupation of computer science to try to get inspired by biology, at various levels. Besides briefly discussing th...
157
click to vote
TLDI
2003
ACM
15 years 7 months ago
2003
ACM
Standard ML employs an opaque (or generative) semantics of datatypes, in which every datatype declaration produces a new type that is different from any other type, including othe...
142
click to vote
AI50
2006
15 years 5 months ago
2006
Abstract. This paper describes a multi-disciplinary initiative to promote collaborative research in enactive artificial cognitive systems by developing the iCub : a open-systems 53...