1532 search results - page 36 / 307 » The Symbol Grounding Problem |
132
click to vote
ERSHOV
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Model programs are high-level behavioral specifications typically representing Abstract State Machines or ASMs. Conformance checking of model programs is the problem of ...
125
click to vote
MCU
2007
15 years 5 months ago
2007
Abstract. In this paper we will give an outline of the proof of the solvability of the halting and reachability problem for 2-symbolic tag systems with a deletion number v = 2. Thi...
119
click to vote
DATE
1999
IEEE
15 years 8 months ago
1999
IEEE
Different logic synthesis tasks have been formulated as input encoding problems but restricted to use a minimum number of binary variables. This paper presents an original column ...
BVAI
2005
Springer
15 years 9 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...
118
click to vote
CAV
2004
Springer
15 years 9 months ago
2004
Springer
Verifying whether an ω-regular property is satisfied by a finite-state system is a core problem in model checking. Standard techniques build an automaton with the complementary ...