6040 search results - page 534 / 1208 » Generating Instance Models from Meta Models |
250
click to vote
ICCV
2005
IEEE
16 years 9 months ago
2005
IEEE
In this paper, a new learning framework?probabilistic boosting-tree (PBT), is proposed for learning two-class and multi-class discriminative models. In the learning stage, the pro...
226
click to vote
CADE
2002
Springer
16 years 7 months ago
2002
Springer
Abstract. We investigate the combination of propositional SAT checkers with domain-specific theorem provers as a foundation for bounded model checking over infinite domains. Given ...
204
click to vote
ICDAR
2009
IEEE
16 years 2 months ago
2009
IEEE
This paper proposes a recognition based approach to handwritten numeral string segmentation. We consider two classes: numeral strings segmented correctly or not. The feature vecto...
214
click to vote
ICIW
2009
IEEE
16 years 2 months ago
2009
IEEE
— Supporting business services through Web service compositions (WSC) as part of service-oriented architectures (SOA) involves business performance monitoring requirements. Their...
255
click to vote
ECMDAFA
2009
Springer
16 years 2 months ago
2009
Springer
The need for a design language that is rigorous but accessible and intuitive is often at odds with the formal and mathematical nature of languages used for analysis. UML and Petri ...