1454 search results - page 64 / 291 » Stateful traits and their formalization |
93
Voted
JAPLL
2010
14 years 11 months ago
2010
In this paper, several examples from the literature, and one central new one, are used as case studies of texts of discourse containing an argumentation scheme that has now been w...
109
click to vote
FC
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Starting from algebraic properties that enable guessing lowentropy secrets, we formalize guessing rules for symbolic verification. The rules are suited for both off-line ...
132
Voted
ESWS
2010
Springer
14 years 11 months ago
2010
Springer
Recent work in Ontology learning and Text mining has mainly focused on engineering methods to solve practical problem. In this thesis, we investigate methods that can substantially...
109
Voted
ICCAD
2009
IEEE
14 years 10 months ago
2009
IEEE
Boolean satisfiability (SAT) based methods have traditionally been popular for formally verifying properties for digital circuits. We present a novel methodology for formulating a...
BMCBI
2008
15 years 20 days ago
2008
Background: Research in life sciences is benefiting from a large availability of formal description techniques and analysis methodologies. These allow both the phenomena investiga...