10462 search results - page 260 / 2093 » Towards a |
156
click to vote
MFCS
2007
Springer
16 years 23 days ago
2007
Springer
The trace subshift of a cellular automaton is the subshift of all possible columns that may appear in a space-time diagram. We prove the undecidability of a rather large class of p...
159
click to vote
MKM
2007
Springer
16 years 23 days ago
2007
Springer
This paper reports on ongoing work on the project of representing the Kenzo system [15] in type theory [11].
179
click to vote
MKM
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. We explore mathematical knowledge in the field of electrical engineering and claim that electrical engineering is a suitable area of application for mathematical knowled...
153
click to vote
MLMI
2007
Springer
16 years 23 days ago
2007
Springer
This paper outlines first the BET method for task-based evaluation of meeting browsers. ‘Observations of interest’ in meetings are empirically determined by neutral observers ...
154
click to vote
MOBILERESPONSE
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. The coordinated reaction to a large-scale disaster is a challenging research problem. The Robocup rescue simulation league addresses this research problem but is currentl...