759 search results - page 91 / 152 » Identifying Modeling Errors in Signatures by Model Checking |
114
Voted
BMCBI
2005
15 years 2 months ago
2005
Background: Phylogenetic footprinting is the identification of functional regions of DNA by their evolutionary conservation. This is achieved by comparing orthologous regions from...
160
Voted
FOSSACS
2001
Springer
15 years 7 months ago
2001
Springer
Hierarchical Message Sequence Charts are a well-established formalism to specify telecommunication protocols. In this model, numerous undecidability results were obtained recently ...
119
Voted
ANSS
2002
IEEE
15 years 7 months ago
2002
IEEE
Statistical simulation is driven by a stream of randomly generated instructions, based on statistics collected during a single detailed simulation. This method can give accurate p...
123
Voted
WSC
2007
15 years 5 months ago
2007
Computer simulation is an appealing approach for the reliability analysis of structure-based software systems as it can accommodate important complexities present in realistic sys...
93
Voted
EACL
2009
ACL Anthology
16 years 3 months ago
2009
ACL Anthology
We present the results of a large-scale, end-to-end human evaluation of various sentiment summarization models. The evaluation shows that users have a strong preference for summar...