7820 search results - page 211 / 1564 » Formalization of Time and Space |
217
click to vote
ISOLA
2010
Springer
15 years 5 months ago
2010
Springer
Safety-critical distributed real-time systems, such as networked medical devices, must operate according to their specification, because incorrect behaviour can have fatal conseque...
207
click to vote
AAAI
2012
13 years 9 months ago
2012
Planning is vital to a wide range of domains, including robotics, military strategy, logistics, itinerary generation and more, that both humans and computers find difficult. Col...
171
click to vote
OTM
2005
Springer
16 years 20 days ago
2005
Springer
Abstract. This paper targets with applications running on mobile devices and using context informations. Following previous studies from other authors, we extend the notion of cont...
235
click to vote
UPP
2004
Springer
16 years 15 days ago
2004
Springer
Abstract. Achieving real-time response to complex, ambiguous, highbandwidth data is impractical with conventional programming. Only the narrow class of compressible input-output ma...
177
click to vote
CBMS
2008
IEEE
16 years 1 months ago
2008
IEEE
Performance on an information gathering task is shown to be superior in teleconference. Analysis of errors in an exercise revealed the data sources used in co-located and teleconf...