4693 search results - page 538 / 939 » Verifying Hybrid Systems |
217
click to vote
TMM
2010
15 years 1 months ago
2010
This paper introduces a video copy detection system which efficiently matches individual frames and then verifies their spatio-temporal consistency. The approach for matching frame...
185
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
The Macaulay2 package PHCpack.m2 provides an interface to some of the functionality of PHCpack, a general-purpose solver for polynomial systems by homotopy continuation. The main f...
301
click to vote
HICSS
2011
IEEE
14 years 10 months ago
2011
IEEE
Vulnerabilities in a system may have widely varying impacts on system security. In practice, security should not be defined as the absence of vulnerabilities. In practice, securit...
275
click to vote
CVPR
2012
IEEE
13 years 9 months ago
2012
IEEE
We introduce a new approach to structure and motion recovery directly from one or more large planes in the scene. When such a plane exists, we demonstrate how to automatically det...
188
click to vote
AC
2003
Springer
16 years 6 days ago
2003
Springer
Abstract. There exists ample literature on Petri nets and its potential in the modelling, analysis, synthesis and implementation of systems in the manufacturing applications domain...