886 search results - page 130 / 178 » Experiences Using Lightweight Formal Methods for Requirement... |
120
click to vote
BMCBI
2006
15 years 1 months ago
2006
Background: Accurate methods for extraction of meaningful patterns in high dimensional data have become increasingly important with the recent generation of data types containing ...
112
click to vote
MEMOCODE
2007
IEEE
15 years 7 months ago
2007
IEEE
Bluespec is a high-level hardware description language used for architectural exploration, hardware modeling and synthesis of semiconductor chips. In Bluespec, one views hardware ...
134
click to vote
ICPR
2008
IEEE
16 years 2 months ago
2008
IEEE
This paper presents a method for visual object categorization based on encoding the joint textural information in objects and the surrounding background, and requiring no segmenta...
107
click to vote
ACISP
2009
Springer
15 years 8 months ago
2009
Springer
In the setting of identity-based encryption with multiple trusted authorities, TA anonymity formally models the inability of an adversary to distinguish two ciphertexts correspondi...
113
click to vote
PASTE
2010
ACM
15 years 3 months ago
2010
ACM
Packrat parsing is a powerful parsing algorithm presented by Ford in 2002. Packrat parsers can handle complicated grammars and recursive structures in lexical elements more easily...