3274 search results - page 468 / 655 » Access Support in Object Bases |
146
click to vote
ICPR
2010
IEEE
15 years 5 months ago
2010
IEEE
In this paper we present a scene analysis technique with subpixel filtering based on dense coded light fields. Our technique computes alignment and optically projects analysis ...
164
click to vote
VSTTE
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. The Composite design pattern is an exemplar of specification and verification challenges for sequential object-oriented programs. Region logic is a Hoare logic augmente...
180
click to vote
GI
2009
Springer
15 years 3 months ago
2009
Springer
Abstract: One of the basic tasks of automotive collision avoidance and collision mitigation systems is the robust and reliable detection of objects as well as the prediction of fut...
158
click to vote
JLP
2010
15 years 23 days ago
2010
We present a calculus for tracking equality relationships between values through pairs of bytecode programs. The calculus may serve as a certification mechanism for noninterferenc...
255
click to vote
ICDE
2006
IEEE
16 years 7 months ago
2006
IEEE
Updates over virtual XML views that wrap relational data are not well supported by XML data management systems. This paper studies the problem of whether a correct relational upda...