697 search results - page 37 / 140 » Symbols are not uniquely human |
100
Voted
TACAS
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. Symmetry reduction is a technique to combat the state explosion problem in temporal logic model checking. Its use with symbolic representation has suffered from the proh...
CAV
2000
Springer
15 years 3 months ago
2000
Springer
Abstract. Bounded Model Checking based on SAT methods has recently been introduced as a complementary technique to BDD-based Symbolic Model Checking. The basic idea is to search fo...
99
Voted
DIAGRAMS
2004
Springer
15 years 2 months ago
2004
Springer
Constraint diagrams are a diagrammatic notation which may be used to express logical constraints. They were designed to complement the Unified Modeling Language in the development ...
85
Voted
COLING
2008
15 years 11 days ago
2008
Probabilistic synchronous context-free grammar (PSCFG) translation models define weighted transduction rules that represent translation and reordering operations via nonterminal s...
110
Voted
INFORMATICALT
2008
14 years 11 months ago
2008
Abstract. A new computational methodology for executing calculations with infinite and infinitesimal quantities is described in this paper. It is based on the principle `The part i...