5718 search results - page 322 / 1144 » Modeling Rule Precision |
174
click to vote
CAV
2007
Springer
15 years 10 months ago
2007
Springer
In automatic software verification, we have observed a theoretical convergence of model checking and program analysis. In practice, however, model checkers are still mostly concern...
178
click to vote
COOPIS
2004
IEEE
15 years 10 months ago
2004
IEEE
This paper focuses on the development of a principled methodology for the dependability analysis of composite Web services. The first step of the methodology involves a UML represe...
166
click to vote
FLAIRS
2007
15 years 9 months ago
2007
This paper puts forward a hierarchical approach for categorizing emails with the ME model based on its contents and properties. This approach categorizes emails in a two-phase way...
166
click to vote
ACL
2008
15 years 8 months ago
2008
This paper proposes a novel method that exploits multiple resources to improve statistical machine translation (SMT) based paraphrasing. In detail, a phrasal paraphrase table and ...
184
click to vote
ESANN
2008
15 years 8 months ago
2008
Abstract. The aperture problem is a direct consequence of any local detection in the visual perception of motion. It results in ambiguous responses of the local motion detectors. B...