1485 search results - page 122 / 297 » Group-Induced Vector Spaces |
114
click to vote
ENTCS
2008
15 years 1 months ago
2008
Verification of multi-threaded C++ programs poses three major challenges: the large number of states, states with huge sizes, and time intensive expansions of states. This paper p...
106
click to vote
CORR
2006
Springer
15 years 1 months ago
2006
Springer
The well-known problem of state space explosion in model checking is even more critical when applying this technique to programming languages, mainly due to the presence of complex...
112
Voted
VLSISP
1998
15 years 20 days ago
1998
Understanding of the scene content of a video sequence is very important for content-based indexing and retrieval of multimedia databases. Research in this area in the past severa...
102
click to vote
CORR
2010
Springer
14 years 11 months ago
2010
Springer
This paper presents several novel theoretical results regarding the recovery of a low-rank matrix from just a few measurements consisting of linear combinations of the matrix entr...
99
Voted
ICMCS
2007
IEEE
15 years 7 months ago
2007
IEEE
This paper proposes a fast and accurate method to detect all nearduplicate segments in a video stream. To reduce the computation time while ensuring the detection accuracy equival...