816 search results - page 75 / 164 » Abstract Barycentric Algebras |
EMSOFT
2004
Springer
14 years 2 months ago
2004
Springer
Embedded systems are electronic devices that function in the context of a real environment, by sensing and reacting to a set of stimuli. Because of their close interaction with th...
AB
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. This paper surveys the field of automated reasoning, giving some historical background and outlining a few of the main current research themes. We particularly emphasize...
ECAL
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. Some research works have mentioned the similarity of autopoiesis with (M,R) systems proposed by Rosen, from the perspective of closedness of the systems. However, there a...
ICALP
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. We present a finite ω-complete axiomatization for the process algebra BCCSP modulo failure semantics, in case of a finite alphabet. This solves an open question by Gro...
FQAS
2006
Springer
14 years 22 days ago
2006
Springer
Abstract. A temporal question answering system must be able to deduce which qualitative temporal relation holds between two events, a reasoning task that is complicated by the fact...