1722 search results - page 142 / 345 » Generating Tests from Counterexamples |
VTS
2007
IEEE
14 years 4 months ago
2007
IEEE
The sensitivity of very deep submicron designs to supply voltage noise is increasing due to higher path delay variations and reduced noise margins with supply noise scaling. The s...
PAKDD
2005
ACM
14 years 4 months ago
2005
ACM
Abstract. Discriminative and generative methods provide two distinct approaches to machine learning classification. One advantage of generative approaches is that they naturally mo...
FGR
2008
IEEE
14 years 5 months ago
2008
IEEE
In this article we explore the use of methodologies for 3D reconstruction from multiple images to recognize faces. We try to devise a strategy to tackle the problem of recognizing...
TOIS
2010
13 years 9 months ago
2010
We propose a new unsupervised learning technique for extracting information about authors and topics from large text collections. We model documents as if they were generated by a...
ICCV
2009
IEEE
15 years 3 months ago
2009
IEEE
In this paper, we present a Deformable Action Template
(DAT) model that is learnable from cluttered real-world
videos with weak supervisions. In our generative model,
an action ...