3457 search results - page 73 / 692 » A Symbol Is Not a Symbol |
136
click to vote
CADE
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Symbolic reasoning is in the core of many software development tools such as: bug-finders, test-case generators, and verifiers. Of renewed interest is the use of symbolic...
128
click to vote
HYBRID
1994
Springer
15 years 8 months ago
1994
Springer
This paper presents algorithms for the symbolic synthesis of discrete and real-time controllers. At the semantic level the controller is synthesized by nding a winning strategy for...
107
click to vote
CAV
1990
Springer
15 years 8 months ago
1990
Springer
Ternary system modeling involves extending the traditional set of binary values
108
click to vote
AMC
2005
15 years 4 months ago
2005
This paper describes a new symbolic algorithm for formal integration of a class of functions in the context of exact power series by using generalized hypergeometric series and co...
105
click to vote
LOGCOM
2007
15 years 4 months ago
2007
Recently, the old logical notion of forgetting propositional symbols (or reducing the logical vocabulary) has been generalized to a new notion: forgetting literals. The aim was to...