1341 search results - page 182 / 269 » Logic for Modeling Product Structure |
140
Voted
INDIASE
2009
ACM
15 years 10 months ago
2009
ACM
We describe how development productivity for multi-tier webbased database ‘forms’ oriented applications can be significantly improved using ‘InstantApps’, an interpretive ...
138
Voted
BMCBI
2005
15 years 3 months ago
2005
Background: To standardize gene product descriptions, a formal vocabulary defined as the Gene Ontology (GO) has been developed. GO terms have been categorized into biological proc...
129
Voted
CAV
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Many software model checkers are based on predicate abstraction. If the verification goal depends on pointer structures, the approach does not work well, because it is di...
138
Voted
ICECCS
2006
IEEE
15 years 9 months ago
2006
IEEE
Abstract— Our approach to the model-driven collaborative design of workflows for bioinformatic applications uses the jABC [6] for model driven mediation and choreography to comp...
144
Voted
AAAI
2006
15 years 5 months ago
2006
This paper presents multi-conditional learning (MCL), a training criterion based on a product of multiple conditional likelihoods. When combining the traditional conditional proba...