1102 search results - page 56 / 221 » Generalizing Updates: From Models to Programs |
ECSQARU
2005
Springer
14 years 4 months ago
2005
Springer
Possibilistic Defeasible Logic Programming (P-DeLP) is a logic programming language which combines features from argumentation theory and logic programming, incorporating as well t...
CCIA
2005
Springer
14 years 4 months ago
2005
Springer
Abstract. Possibilistic Defeasible Logic Programming (P-DeLP) is a logic programming language which combines features from argumentation theory and logic programming, incorporating...
POPL
2009
ACM
14 years 11 months ago
2009
ACM
Self-adjusting computation is an evaluation model in which programs can respond efficiently to small changes to their input data by using a change-propagation mechanism that updat...
CONTEXT
2007
Springer
14 years 5 months ago
2007
Springer
Abstract. Delimited continuations are the meanings of delimited evaluation contexts in programming languages. We show they offer a uniform view of many scenarios that arise in sys...
ICASSP
2009
IEEE
14 years 3 months ago
2009
IEEE
We consider inference in a general data-driven object-based model of multichannel audio data, assumed generated as a possibly underdetermined convolutive mixture of source signals...