1738 search results - page 171 / 348 » Matching Reviews to Objects using a Language Model |
136
click to vote
CVPR
2008
IEEE
16 years 6 months ago
2008
IEEE
Parametric models of shape and texture such as Active Appearance Models (AAMs) are diverse tools for deformable object appearance modeling and have found important applications in...
140
click to vote
TAP
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. This paper extends dynamic symbolic execution to distributed and concurrent systems. Dynamic symbolic execution can be used in software testing to systematically identify...
147
Voted
ECOOP
2008
Springer
15 years 5 months ago
2008
Springer
A component revolution is underway, bringing developers improved productivity and opportunities for code reuse. However, whereas existing tools work well for builders of desktop ap...
141
click to vote
POPL
1999
ACM
15 years 8 months ago
1999
ACM
A promising technique for protecting privacy and integrity of sensitive data is to statically check information flow within programs that manipulate the data. While previous work...
136
click to vote
PADS
2003
ACM
15 years 9 months ago
2003
ACM
There is a wide-spread usage of hardware design languages(HDL) to speed up the time-to-market for the design of modern digital systems. Verification engineers can simulate hardwa...