551 search results - page 69 / 111 » Realizability of Real-Time Logics |
175
click to vote
DOA
2001
15 years 7 months ago
2001
There are many challenges in devising solutions for online content processing of live networked multimedia sessions. These include content analysis under uncertainty (evidence of ...
136
click to vote
CGF
2004
15 years 5 months ago
2004
Issues of digital preservation of shapes and internal structures of historical cultural objects are discussed. An overview of existing approaches to digital preservation related t...
173
click to vote
CASES
2010
ACM
15 years 3 months ago
2010
ACM
Unobtrusive capturing of program execution traces in real-time is crucial in debugging cyber-physical systems. However, tracing even limited program segments is often cost-prohibi...
167
click to vote
GI
2009
Springer
15 years 3 months ago
2009
Springer
: Computer Assisted Surgery seeks data from various sources related to surgical knowledge, which is mostly represented in the form of discrete databases. However, databases serve a...
146
click to vote
EXPERT
2011
14 years 9 months ago
2011
—With the rapid development of the electricity market, both grid and market operations need to be carefully coordinated and monitored in real time. This paper focuses on system m...