C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Program Analysis Using Symbolic Ranges.
Sriram Sankaranarayanan
Franjo Ivancic
Aarti Gupta
Published in:
SAS (2007)
Keyphrases
</>
high level
symbolic representation
connectionist models
symbolic reasoning
real world
feature extraction
expert systems
wireless sensor networks
intermediate level
symbolic description
associative learning