5707 search results - page 8 / 1142 » Symbolic Simulation - Techniques and Applications |
AAAI
2000
13 years 9 months ago
2000
Spatio-temporal data sets arise when time-varying physical fields are discretized for simulation or analysis. Examples of time-varying fields are isothermal regions in the sea or ...
ICANN
2003
Springer
14 years 24 days ago
2003
Springer
Abstract. Solutions to the symbol grounding problem, in psychologically plausible cognitive models, have been based on hybrid connectionist/symbolic architectures, on robotic appro...
ICCAD
1991
IEEE
13 years 11 months ago
1991
IEEE
The program TRANALYZE generates a gate-level representation of an MOS transistor circuit. The resulting model contains only four-valued unit and zero delay logic primitives, suita...
ATVA
2010
Springer
13 years 8 months ago
2010
Springer
We present a trace-driven SMT-based symbolic debugging tool for MCAPI (Multicore Association Communication API) applications. MCAPI is a newly proposed standard that provides an AP...
MM
2003
ACM
14 years 25 days ago
2003
ACM
An algorithm is presented that automatically matches images of presentation slides to the symbolic source file (e.g., PowerPointTM or AcrobatTM ) from which they were generated. T...