1466 search results - page 41 / 294 » Complexity of Reasoning over Temporal Data Models |
126
click to vote
FSTTCS
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. This paper studies a recently developed an approach to reasoning about mutable data structures, which uses an assertion language with spatial conjunction and implication ...
151
Voted
CVPR
2004
IEEE
16 years 6 months ago
2004
IEEE
We model the dynamic geometry of a time-varying scene as a 3D isosurface in space-time. The intersection of the isosurface with planes of constant time yields the geometry at a si...
134
click to vote
BMCBI
2006
15 years 4 months ago
2006
Background: Retinal photoreceptors are highly specialised cells, which detect light and are central to mammalian vision. Many retinal diseases occur as a result of inherited dysfu...
135
click to vote
ECSQARU
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. The Transferable Belief Model (TBM) relies on belief functions and enables one to represent and combine a variety of knowledge from certain up to ignorance as well as con...
141
click to vote
ICDCS
2009
IEEE
16 years 1 months ago
2009
IEEE
With the growing complexity in computer systems, it has been a real challenge to detect and diagnose problems in today’s large-scale distributed systems. Usually, the correlatio...