1587 search results - page 250 / 318 » The Semantics of Extended SOFL |
155
click to vote
FOSSACS
2010
Springer
16 years 10 days ago
2010
Springer
Abstract. The reachability analysis of recursive programs that communicate asynchronously over reliable Fifo channels calls for restrictions to ensure decidability. We extend here ...
175
Voted
AIPR
2008
IEEE
16 years 10 days ago
2008
IEEE
– This paper addresses the exploitation of massive numbers of image-derived change detections. We use the term “change analysis” to emphasize the intelligence value obtained ...
122
click to vote
DSN
2008
IEEE
16 years 9 days ago
2008
IEEE
Current technology trends of increased scale of integration are pushing CMOS technology into the deepsubmicron domain, enabling the creation of chips with a significantly greater...
123
click to vote
ICPR
2008
IEEE
16 years 8 days ago
2008
IEEE
Tools for automatic image understanding for managing operator workloads are essential. One common task for image analysts is the scanning large collections of real-time images loo...
151
click to vote
ISM
2008
IEEE
16 years 7 days ago
2008
IEEE
In the recent years, photo context metadata (e.g., date, GPS coordinates) have been proved to be useful in the management of personal photos. However, these metadata are still poo...