104 search results - page 16 / 21 » Auxiliary Deep Generative Models |
TSE
2010
13 years 8 months ago
2010
We present an algorithm Dash to check if a program P satisfies a safety property ϕ. The unique feature of the algorithm is that it uses only test generation operations, and nes ...
ICML
2010
IEEE
13 years 11 months ago
2010
IEEE
We consider the fully automated recognition of actions in uncontrolled environment. Most existing work relies on domain knowledge to construct complex handcrafted features from in...
DATE
2010
IEEE
14 years 2 months ago
2010
IEEE
—Variations of process parameters have an important impact on reliability and yield in deep sub micron IC technologies. One methodology to estimate the influence of these effects...
DBPL
1993
Springer
14 years 1 months ago
1993
Springer
Fox Finding Objects of eXperiments is the declarative query language for Moose Modeling Objects Of Scienti c Experiments , an object-oriented data model at the core of a scient...
ICDM
2007
IEEE
14 years 4 months ago
2007
IEEE
In this paper, we proposed a new approach, called FiVaTech for the problem of Web data extraction. FiVaTech is a page-level data extraction system which deduces the data schema an...