641 search results - page 125 / 129 » Formal Reliability Analysis Using Theorem Proving |
TCS
2008
13 years 8 months ago
2008
This paper studies a novel paradigm for learning formal languages from positive and negative examples which consists of mapping strings to an appropriate highdimensional feature s...
JCB
2006
13 years 8 months ago
2006
Biological systems are traditionally studied by focusing on a specific subsystem, building an intuitive model for it, and refining the model using results from carefully designed ...
SIGSOFT
2010
ACM
13 years 6 months ago
2010
ACM
Interest in Graphical Processing Units (GPUs) is skyrocketing due to their potential to yield spectacular performance on many important computing applications. Unfortunately, writ...
CVPR
2003
IEEE
14 years 10 months ago
2003
IEEE
We wish to match sets of images to sets of images where both sets are undergoing various distortions such as viewpoint and lighting changes. To this end we have developed a Joint ...
KDD
2009
ACM
14 years 9 months ago
2009
ACM
Learning probabilistic graphical models from high-dimensional datasets is a computationally challenging task. In many interesting applications, the domain dimensionality is such a...