36 search results - page 3 / 8 » Decidable Approximations of Sets of Descendants and Sets of ... |
TLCA
2005
Springer
14 years 1 months ago
2005
Springer
This paper studies continuity of the normal form and the context operators as functions in the infinitary lambda calculus. We consider the Scott topology on the cpo of the finite...
JSYML
2010
13 years 6 months ago
2010
Continuous first-order logic has found interest among model theorists who wish to extend the classical analysis of “algebraic” structures (such as fields, group, and graphs) ...
AUTOMATICA
2008
13 years 7 months ago
2008
The paper addresses methods for parameter sensitivity analysis in a large, nonlinear, mechanistic model which is to be run in an online estimation scheme. The parameter sensitivit...
ATAL
2007
Springer
14 years 1 months ago
2007
Springer
This paper analyzes bilateral multi-issue negotiation between selfinterested autonomous agents. The agents have time constraints in the form of both deadlines and discount factors...
CIAC
2010
Springer
14 years 16 days ago
2010
Springer
A weighted sequence is a string in which a set of characters may appear at each position with respective probabilities of occurrence. A common task is to locate a given motif in a ...