919 search results - page 36 / 184 » Efficient computation of view subsets |
CAV
2000
Springer
14 years 9 days ago
2000
Springer
In this paper we show how to do symbolic model checking using Boolean Expression Diagrams (BEDs), a non-canonical representation for Boolean formulas, instead of Binary Decision Di...
VIZSEC
2005
Springer
14 years 2 months ago
2005
Springer
While efficient graph-based representations have been developed for modeling combinations of low-level network attacks, relatively little attention has been paid to effective tech...
CIVR
2010
Springer
14 years 18 hour ago
2010
Springer
The human face is one of the most important objects in videos since it provides rich information for spotting certain people of interest, such as government leaders in news video,...
MST
2000
13 years 8 months ago
2000
A team of learning machines is a multiset of learning machines. A team is said to successfully learn a concept just in case each member of some nonempty subset, of predetermined s...
ICCV
2007
IEEE
14 years 10 months ago
2007
IEEE
For many multi-part object classes, the set of parts can vary not only in location but also in type. For example, player formations in American football involve various subsets of...