3342 search results - page 370 / 669 » Symbolic Robustness Analysis |
181
click to vote
CG
2011
Springer
15 years 1 months ago
2011
Springer
In previous work we introduced a construction to produce multiresolutions from given subdivisions. A portion of that construction required solving bilinear equations using a symbo...
317
click to vote
CADE
2011
Springer
14 years 6 months ago
2011
Springer
Abstract. Security protocols aim at securing communications over public networks. Their design is notoriously difficult and error-prone. Formal methods have shown their usefulness ...
202
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: Microarray experimentation requires the application of complex analysis methods as well as the use of non-trivial computer technologies to manage the resultant large d...
179
click to vote
CVPR
2005
IEEE
16 years 8 months ago
2005
IEEE
This paper proposes a novel method for matching road vehicles between two non-overlapping cameras. The matching problem is formulated as a same-different classification problem: p...
185
Voted
ICIP
2009
IEEE
2009
IEEE
Localized Null Space Representation For Dynamic Updating And Downdating In Image And Video Databases
16 years 7 months ago
Event/object classification and recognition is an extremely challenging problem, particularly when the query or stored data undergo an affine transformation due to camera motion. ...