811 search results - page 80 / 163 » Probabilistic Semantics and Program Analysis |
148
click to vote
APLAS
2009
ACM
15 years 9 months ago
2009
ACM
Abstract. Context-sensitive points-to analysis is critical for several program optimizations. However, as the number of contexts grows exponentially, storage requirements for the a...
132
Voted
VLSISP
2010
15 years 1 months ago
2010
In this paper we describe a multi-strategy approach to improving semantic extraction from news video. Experiments show the value of careful parameter tuning, exploiting multiple fe...
145
Voted
DILS
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. We present INDUS (Intelligent Data Understanding System), a federated, query-centric system for knowledge acquisition from autonomous, distributed, semantically heterogen...
129
Voted
LOPSTR
2005
Springer
15 years 8 months ago
2005
Springer
A variable is local if it occurs in a clause body but not in its head. Local variables appear naturally in practical logic programming, but they complicate several aspects such as ...
143
Voted
CORR
2010
Springer
15 years 1 days ago
2010
Springer
The paradigm of Tabled Logic Programming (TLP) is now supported by a number of Prolog systems, including XSB, YAP Prolog, B-Prolog, Mercury, ALS, and Ciao. The reasons for this ar...