734 search results - page 74 / 147 » Undecidability over Continuous Time |
IANDC
2007
13 years 8 months ago
2007
In this paper we study secure information flow policies in the sense of Meadows [12] and others for aggregated datasets, collectively. We first present a method for combining di...
CVPR
2007
IEEE
14 years 10 months ago
2007
IEEE
We introduce a theoretical framework and practical algorithms for replacing time-coded structured light patterns with viewpoint codes, in the form of additional camera locations. ...
SIGMOD
2003
ACM
14 years 9 months ago
2003
ACM
In many applications involving continuous data streams, data arrival is bursty and data rate fluctuates over time. Systems that seek to give rapid or real-time query responses in ...
ISAAC
2009
Springer
14 years 3 months ago
2009
Springer
The problem of maintaining geometric structures for points in motion has been well studied over the years. Much theoretical work to date has been based on the assumption that point...
CIBCB
2008
IEEE
14 years 3 months ago
2008
IEEE
— We introduce a graph-based relational learning approach using graph-rewriting rules for temporal and structural analysis of biological networks changing over time. The analysis...