5634 search results - page 690 / 1127 » About Abstract Classes |
226
click to vote
FMCAD
2008
Springer
15 years 9 months ago
2008
Springer
Parameterized model checking refers to any method that extends traditional, finite-state model checking to handle systems arbitrary number of processes. One popular approach to thi...
190
click to vote
COMPUTER
2008
15 years 7 months ago
2008
ors induce aptitudes: abstract skills and knowledge. Mentors foster attitudes: social skills and graces. In my experience of school, starting 70 years or so ago, quite regimented i...
243
click to vote
IANDC
2011
15 years 2 months ago
2011
Partial transition systems support abstract model checking of complex temporal propercombining both over- and under-approximatingabstractions into a single model. Over the years, ...
244
click to vote
CVPR
2009
IEEE
17 years 2 months ago
2009
IEEE
Current work in object categorization discriminates
among objects that typically possess gross differences
which are readily apparent. However, many applications
require making ...
223
click to vote
ICCV
2005
IEEE
16 years 9 months ago
2005
IEEE
Object identification (OID) is specialized recognition where the category is known (e.g. cars) and the algorithm recognizes an object's exact identity (e.g. Bob's BMW). ...