1087 search results - page 134 / 218 » Eta-Redexes in Partial Evaluation |
176
click to vote
FPL
2009
Springer
15 years 10 months ago
2009
Springer
Preemptive multitasking, a popular technique for timesharing of computational resources in software-based systems, faces considerable difficulties when applied to partially reconf...
169
click to vote
AISC
2004
Springer
15 years 10 months ago
2004
Springer
While implementing a proof for the Basic Perturbation Lemma (a central result in Homological Algebra) in the theorem prover Isabelle one faces problems such as the implementation o...
209
click to vote
AAAI
2007
15 years 8 months ago
2007
In this paper, we address the problem of identifying and localizing multiple instances of highly deformable objects in real-time video data. We present an approach which uses PCA-...
209
click to vote
COLING
2008
15 years 7 months ago
2008
We present an approach to ontology population based on a lexical substitution technique. It consists in estimating the plausibility of sentences where the named entity to be class...
175
click to vote
AIPS
2006
15 years 7 months ago
2006
Composition of stateful web services expressed in BPEL4WS can be recasted as a problem of planning in asynchronous domains. In (PTB05), this is pursued by encoding the asynchronou...