225 search results - page 11 / 45 » Automatically Inferring ClassSheet Models from Spreadsheets |
ECCV
2008
Springer
15 years 11 months ago
2008
Springer
We consider the problem of estimating 3-d structure from a single still image of an outdoor urban scene. Our goal is to efficiently create 3-d models which are visually pleasant. W...
180
click to vote
POPL
2004
ACM
15 years 9 months ago
2004
ACM
stractions from Proofs Ranjit Jhala1 Kenneth L. McMillan2 1 UC San Diego 2 Cadence Berkeley Laboratories We present a technique for using infeasible program paths to automatically ...
CAV
2007
Springer
15 years 3 months ago
2007
Springer
stractions from Proofs Ranjit Jhala1 Kenneth L. McMillan2 1 UC San Diego 2 Cadence Berkeley Laboratories We present a technique for using infeasible program paths to automatically ...
ACSAC
2004
IEEE
15 years 1 months ago
2004
IEEE
A common way to elude a signature-based NIDS is to transform an attack instance that the NIDS recognizes into another instance that it misses. For example, to avoid matching the a...
159
click to vote
ICDE
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract-- Recent innovations in RFID technology are enabling large-scale cost-effective deployments in retail, healthcare, pharmaceuticals and supply chain management. The advent ...