3457 search results - page 69 / 692 » A Symbol Is Not a Symbol |
ISSAC
2007
Springer
14 years 4 months ago
2007
Springer
An extension of Karr’s summation algorithm is presented by which symbolic sums involving radical expressions can be simplified. We discuss the construction of appropriate diff...
BVAI
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. We discuss problems of signal– and symbol based representations in terms of three dilemmas which are faced in the design of each vision system. Signal- and symbol-based...
AMAST
2004
Springer
14 years 3 months ago
2004
Springer
We present a logic for reasoning about LOTOS behaviours which allows properties involving repeated patterns over actions and data to be expressed. The semantics of the logic is giv...
HYBRID
1998
Springer
14 years 2 months ago
1998
Springer
We look at distributed representation of structure with variable binding, that is natural for neural nets and allows traditional symbolic representation and processing. The repres...
ESORICS
2011
Springer
12 years 10 months ago
2011
Springer
Abstract. Trigger-based code (malicious in many cases, but not necessarily) only executes when specific inputs are received. Symbolic execution has been one of the most powerful t...