3335 search results - page 473 / 667 » Grid result checking |
153
click to vote
JUCS
2007
15 years 5 months ago
2007
: This paper presents a project that provides both, to professors and to students, a tool that is useful for studying, teaching and learning how pipelines work and how they can be ...
138
click to vote
CORR
2002
Springer
15 years 5 months ago
2002
Springer
We address the problem of minimal-change integrity maintenance in the context of integrity constraints in relational databases. We assume that integrity-restoration actions are li...
157
click to vote
ENTCS
2002
15 years 5 months ago
2002
Runtime verification permits checking system properties that cannot be fully verified off-line. This is particularly true when the system includes complex third-party components, ...
169
click to vote
IJCV
2002
15 years 5 months ago
2002
Abstract-- This paper presents an efficient implementation for correlation based stereo. Research in this area can roughly be divided in two classes: improving accuracy regardless ...
187
click to vote
MTA
2002
15 years 5 months ago
2002
Digital video applications exploit the intrinsic structure of video sequences. In order to obtain and represent this structure for video annotation and indexing tasks, the main ini...