601 search results - page 70 / 121 » Quantified Equality Constraints |
125
Voted
FOIKS
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. Automatic debugging of UML class diagrams helps in the visual specification of software systems because users cannot detect errors in logical inconsistency easily. This p...
109
Voted
BMCBI
2006
2006
Analysis of optimal phenotypic space using elementary modes as applied to Corynebacterium glutamicum
15 years 26 days ago
Background: Quantification of the metabolic network of an organism offers insights into possible ways of developing mutant strain for better productivity of an extracellular metab...
133
click to vote
CAV
2004
Springer
15 years 4 months ago
2004
Springer
We study the problem of formally verifying shared memory multiprocessor executions against memory consistency models--an important step during post-silicon verification of multipro...
114
Voted
PAMI
2010
14 years 11 months ago
2010
— In the last decade, graph-cut optimization has been popular for a variety of labeling problems. Typically graph-cut methods are used to incorporate smoothness constraints on a ...
113
click to vote
CVPR
2007
IEEE
16 years 2 months ago
2007
IEEE
We present an integrated framework for learning asymmetric boosted classifiers and online learning to address the problem of online learning asymmetric boosted classifiers, which ...