1830 search results - page 219 / 366 » Centering in Dynamic Semantics |
CORR
2000
Springer
14 years 11 months ago
2000
Springer
-BASED ABSTRACT INTERPRETATION OF PROLOG1 BAUDOUIN LE CHARLIER, SABINA ROSSI, AND PASCAL VAN HENTENRYCK . Abstract interpretation is a general methodology for systematic developmen...
115
click to vote
POPL
2012
ACM
13 years 7 months ago
2012
ACM
We show how to combine a general purpose type system for an existing language with support for programming with binders and contexts by refining the type system of ML with a rest...
132
click to vote
KDD
2012
ACM
13 years 2 months ago
2012
ACM
Real-world, multiple-typed objects are often interconnected, forming heterogeneous information networks. A major challenge for link-based clustering in such networks is its potent...
128
click to vote
SDM
2012
SIAM
13 years 2 months ago
2012
SIAM
In this article, we propose a random walk-based model to predict legislators’ votes on a set of bills. In particular, we first convert roll call data, i.e. the recorded votes a...
80
Voted
ICPR
2006
IEEE
16 years 26 days ago
2006
IEEE
This paper presents an approach for indexing a large set of videos by considering the dynamic behaviour of local visual features along the sequences. The proposed concept is based...