12084 search results - page 92 / 2417 » Effect Systems with Subtyping |
FLOPS
2004
Springer
14 years 25 days ago
2004
Springer
This paper presents a self-applicable partial evaluator for a considerable subset of full Prolog. The partial evaluator is shown to achieve non-trivial specialisation and be effect...
CAEPIA
2003
Springer
14 years 23 days ago
2003
Springer
Abstract. The following problem will be considered: from scattered examples on the behavior of a dynamic system induce a description of the system. For the induced description to b...
CHI
2008
ACM
13 years 11 months ago
2008
ACM
We present a novel system for notification management and report results from two studies testing its performance and impact. The system uses statistical models to realize defer-t...
CIKM
2008
Springer
13 years 11 months ago
2008
Springer
Opinion retrieval is a document retrieving and ranking process. A relevant document must be relevant to the query and contain opinions toward the query. Opinion polarity classific...
ALGORITHMICA
2005
13 years 9 months ago
2005
In an adversarial queueing network, the incoming traffic is decided by an adversary, who operates under a reasonable rate restriction. This model provides a valuable, complementar...