981 search results - page 46 / 197 » Symbolic pointer analysis |
COGSCI
2010
13 years 9 months ago
2010
Symbols enable people to organize and communicate about the world. However, the ways in which symbolic knowledge is learned and then represented in the mind are poorly understood....
PKDD
2000
Springer
14 years 13 days ago
2000
Springer
Abstract. A new constrained model is discussed as a way of incorporating efficiently a priori expert knowledge into a clustering problem of a given individual set. The first innova...
ICANNGA
2009
Springer
14 years 3 months ago
2009
Springer
A statistical generative model is presented as an alternative to negative selection in anomaly detection of string data. We extend the probabilistic approach to binary classificat...
IWPT
2001
13 years 10 months ago
2001
While symbolic parsers can be viewed as deduction systems, this view is less natural for probabilistic parsers. We present a view of parsing as directed hypergraph analysis which ...
ICCAD
2001
IEEE
14 years 5 months ago
2001
IEEE
We present a methodology for generating black-box timing models for full-custom transistor-level CMOS circuits. Our approach utilizes transistor-level ternary symbolic timing simu...