6014 search results - page 234 / 1203 » Structural Testing with Use Cases |
153
click to vote
CONCUR
2006
Springer
15 years 8 months ago
2006
Springer
Event structures have been used for giving true concurrent semantics to languages and models of concurrency such as CCS, Petri nets and graph grammars. Although certain nominal cal...
125
click to vote
IFIP
2007
Springer
15 years 10 months ago
2007
Springer
Effective methods for metrics definition are of particular importance, as measurement mechanisms are indispensable in virtually any engineering discipline. The paper describes how ...
154
click to vote
EMNLP
2007
15 years 5 months ago
2007
This paper describes a probabilistic model for coordination disambiguation integrated into syntactic and case structure analysis. Our model probabilistically assesses the parallel...
142
click to vote
ECCV
2008
Springer
16 years 6 months ago
2008
Springer
Abstract. We propose a novel and efficient method for generic arbitraryview object class detection and localization. In contrast to existing singleview and multi-view methods using...
133
click to vote
MSV
2007
15 years 5 months ago
2007
Abstract - In this paper, an essential oil extraction system with self-refilling system is modeled based on inputoutput data collected from a dedicated acquisition system. The ARMA...