734 search results - page 56 / 147 » Undecidability over Continuous Time |
IPSN
2004
Springer
14 years 2 months ago
2004
Springer
We consider the rate-distortion problem for sensing the continuous space-time physical temperature in a circular ring on which a heat source is applied over space and time, and wh...
IEICET
2008
13 years 8 months ago
2008
Human interest in pictures dates back to 14,000 BC. Pictures can be drawn by hand or imaged by optical means. Over time pictures have changed from being rare and unique to ubiquit...
WWW
2004
ACM
14 years 9 months ago
2004
ACM
We provide a system for surfing the web at a high level of abstraction, which is an analogy of the web browser, but which displays entire sites at a time. It allows a principled i...
CCE
2008
13 years 8 months ago
2008
Scheduling of processes in mixed batch/continuous plants, due to their hybrid nature can become very complex. This paper presents the Timed Hybrid Petri net (THPN) as a suitable t...
JAR
2010
13 years 3 months ago
2010
The development of ontologies involves continuous but relatively small modifications. However, existing ontology reasoners do not take advantage of the similarities between differe...