5671 search results - page 171 / 1135 » A Semantic Approach to Interpolation |
APLAS
2007
ACM
15 years 2 months ago
2007
ACM
Abstract. We present a formal framework for syntax directed probabilistic program analysis. Our focus is on probabilistic pointer analysis. We show how to obtain probabilistic poin...
71
Voted
AAAI
2008
15 years 16 days ago
2008
Action languages allow to formally represent and reason about actions in a highly declarative manner. In recent work, revision and management of conflicts for domain descriptions ...
63
Voted
CORR
2006
Springer
14 years 10 months ago
2006
Springer
Oftentimes, the need to build multidiscipline knowledge bases, oriented to policy scenarios, entails the involvement of stakeholders in manifold domains, with a juxtaposition of d...
CACM
2000
14 years 10 months ago
2000
data model provides an abstract, conceptual framework; a concrete syntax is also required and XML is used for this purpose. The XML namespace mechanism serves to identify RDF Schem...
73
Voted
ACL
2010
14 years 8 months ago
2010
Motivated by Google Sets, we study the problem of growing related words from a single seed word by leveraging user behaviors hiding in user records of Chinese input method. Our pr...