3457 search results - page 3 / 692 » A Symbol Is Not a Symbol |
ATVA
2006
Springer
13 years 11 months ago
2006
Springer
In this paper we give a symbolic concurrent semantics for network of timed automata (NTA) in terms of extended symbolic nets. Extended symbolic nets are standard occurrence nets ex...
WCRE
2005
IEEE
14 years 1 months ago
2005
IEEE
We apply static analysis and symbolic interpretation techniques to reverse engineer the semantics of legacy assembler code. We examine the case of IBM-1800 programs in detail. Fro...
CCIA
2005
Springer
14 years 1 months ago
2005
Springer
The explanation of the results is a key point of automatic problem solvers. CBR systems solve a new problem by assessing its similarity with already solved cases and they commonly ...
ECAI
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. There are many examples of intelligent and learning systems that are based either on the connectionist or the symbolic approach. Although the latter can be successfully c...
ICPR
2006
IEEE
14 years 8 months ago
2006
IEEE
In this paper we present an innovative approach to automatically generate adjacency grammars describing graphical symbols. A grammar production is formulated in terms of rulesets ...