31387 search results - page 54 / 6278 » Abstracts |
ACCV
2010
Springer
13 years 11 months ago
2010
Springer
Humans have abstract models for object classes which helps recognize previously unseen instances, despite large intra-class variations. Also objects are grouped into classes based...
CORR
2010
Springer
13 years 4 months ago
2010
Springer
xample Guided Abstraction Refinement Algorithm for Propositional Circumscription Mikol
ASPDAC
2011
ACM
13 years 1 months ago
2011
ACM
al Abstraction and Refinement Brian Keng and Andreas Veneris University of Toronto ASPASP--DAC 2011DAC 2011
ICSE
2008
IEEE-ACM
14 years 10 months ago
2008
IEEE-ACM
ion-based Requirements Management Anthony Finkelstein, University College London Leah Goldin, Afeka-Tel Aviv College of Engineering ROA workshop - ICSE 2006 of Abstraction in Softw...
PPOPP
2006
ACM
14 years 3 months ago
2006
ACM
iew Abstractions for User-Defined Reductions and Scans iew Abstractions for User-Defined Reductions and Scans PPoPP March 29, 2006 Steve Deitz Brad Chamberlain David Callahan Larry...