2308 search results - page 48 / 462 » Representing Symbolic Reasoning |
172
Voted
IANDC
2008
15 years 5 months ago
2008
We are interested in the design of automated procedures for analyzing the (in)security of cryptographic protocols in the Dolev-Yao model for a bounded number of sessions when we t...
133
click to vote
ISMIR
2005
Springer
15 years 11 months ago
2005
Springer
In this paper we propose a text represention for musical chord symbols that is simple and intuitive for musically trained individuals to write and understand, yet highly structure...
130
click to vote
DATE
2003
IEEE
15 years 10 months ago
2003
IEEE
Symbolic techniques usually use characteristic functions for representing sets of states. Boolean functional vectors provide an alternate set representation which is suitable for ...
161
click to vote
ICCD
1995
IEEE
15 years 9 months ago
1995
IEEE
– This paper describes a new technique for extracting clock-level finite state machines(FSMs) from transistor netlists using symbolic simulation. The transistor netlist is prepr...