1160 search results - page 22 / 232 » Revisiting the Sequence Constraint |
118
click to vote
CAV
1992
Springer
15 years 6 months ago
1992
Springer
State-space caching is a veri cation technique for nite-state concurrent systems. It performs an exhaustive exploration of the state space of the system being checked while storin...
112
click to vote
COMPGEOM
1995
ACM
15 years 5 months ago
1995
ACM
We consider the problem of reporting the pairwise enclosures in a set of n axesparallel rectangles in IR2, which is equivalent to reporting dominance pairs in a set of n points in...
164
click to vote
CVPR
2011
IEEE
14 years 7 months ago
2011
IEEE
Several attempts have been lately proposed to tackle the
problem of recovering the original image of an underwater
scene using a sequence distorted by water waves. The
main draw...
102
click to vote
EDBTW
2006
Springer
15 years 5 months ago
2006
Springer
ORM (Object-Role Modeling) is a rich and well-known conceptual modeling method. As ORM has a formal semantics, reasoning tasks such as satisfiability checking of an ORM schema natu...
132
click to vote
TNN
2010
14 years 8 months ago
2010
Compared to Singular Value Decomposition (SVD), Generalized Low Rank Approximations of Matrices (GLRAM) can consume less computation time, obtain higher compression ratio, and yiel...