3457 search results - page 89 / 692 » A Symbol Is Not a Symbol |
110
Voted
FMSD
2008
15 years 22 days ago
2008
Abstract Compositional reasoning aims to improve scalability of verification tools by reducing the original verification task into subproblems. The simplification is typically base...
74
Voted
COGSCI
2007
15 years 20 days ago
2007
It has been suggested that iconic graphical signs evolve into symbolic graphical signs through repeated usage. This article reports a series of interactive graphical communication...
87
Voted
JIRS
2006
15 years 19 days ago
2006
Abstract. Autonomous mobile robot navigation systems are based on three principal kinds of techniques: map-based navigation, map-building-based navigation and mapless navigation. W...
98
Voted
CORR
2004
Springer
15 years 15 days ago
2004
Springer
Jackendoff (2002) posed four challenges that linguistic combinatoriality and rules of language present to theories of brain function. The essence of these problems is the question...
PTS
2010
14 years 11 months ago
2010
Recently there has been an upsurge of interest in both, Search– Based Software Testing (SBST), and Dynamic Symbolic Execution (DSE). Each of these two approaches has complementar...