1192 search results - page 190 / 239 » Symbolic Query Exploration |
119
click to vote
BMCBI
2007
15 years 1 months ago
2007
Background: Software tools that model and simulate the dynamics of biological processes and systems are becoming increasingly important. Some of these tools offer sophisticated gr...
132
click to vote
COMPUTER
2007
15 years 1 months ago
2007
and therefore should be implemented outside the sensory-motor system. This way, meaning for a concept amounts to the content of a symbolic expression, a definition of the concept ...
110
Voted
IVC
2008
15 years 1 months ago
2008
This paper considers arguments for the necessity of embodiment in cognitive vision systems. We begin by delineating the scope of cognitive vision, and follow this by a survey of t...
135
click to vote
TCS
2002
15 years 1 months ago
2002
This paper explores the application of rewriting logic to the executable formal modeling of real-time and hybrid systems. We give general techniques by which such systems can be s...
111
click to vote
CORR
2010
Springer
15 years 13 days ago
2010
Springer
The safety of infinite state systems can be checked by a backward reachability procedure. For certain classes of systems, it is possible to prove the termination of the procedure ...