4211 search results - page 422 / 843 » Types as Abstract Interpretations |
192
click to vote
TPHOL
2009
IEEE
16 years 1 months ago
2009
IEEE
ion and equality to base types but retains lambda abstractions and higher-order variables. We show that this fragment enjoys the characteristic properties of first-order logic: co...
170
click to vote
ICTIR
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. In this paper we introduce a novel approach for query performance prediction based on ranking list scores dispersion. Starting from the hypothesis that different score d...
185
click to vote
ICMCS
2008
IEEE
16 years 1 months ago
2008
IEEE
Key frames play an important role in video abstraction. Clustering is a popular approach for key-frame extraction. In this paper, we propose a novel method for key-frame extractio...
214
click to vote
ABIALS
2008
Springer
16 years 1 months ago
2008
Springer
Abstract. We present a model of motor learning based on a combination of Operational Space Control and Optimal Control. Anticipatory processes are used both in the learning of the ...
214
click to vote
AH
2008
Springer
16 years 1 months ago
2008
Springer
Abstract. Collaborative Web search (CWS) is a community-based approach to Web search that supports the sharing of past result selections among a group of related searchers so as to...