1638 search results - page 168 / 328 » A General Semantics for Evaluation Logic |
167
click to vote
SOSP
2007
ACM
16 years 3 months ago
2007
ACM
Software defects significantly reduce system dependability. Among various types of software bugs, semantic and concurrency bugs are two of the most difficult to detect. This pape...
282
click to vote
KCAP
2011
ACM
14 years 9 months ago
2011
ACM
Gold standard mappings created by experts are at the core of alignment evaluation. At the same time, the process of manual evaluation is rarely discussed. While the practice of ha...
178
click to vote
TLDI
2003
ACM
15 years 11 months ago
2003
ACM
We extend Cyclone, a type-safe polymorphic language at vel of abstraction, with threads and locks. Data races can violate type safety in Cyclone. An extended type system staticall...
178
click to vote
ECSQARU
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. In this paper, we first investigate set semantics of propositional logic in terms of rough sets and discuss how truth values of propositions (sentences) can be interpret...
162
click to vote
ISMB
1993
15 years 7 months ago
1993
There are several dimensions and levels of complexity in which information on protein motifs may be available. For example, onedimensional sequence motifs may be associated with s...