3179 search results - page 326 / 636 » Applications of PCF Theory |
132
click to vote
FROCOS
2005
Springer
15 years 9 months ago
2005
Springer
We define a general notion of a fragment within higher order type theory; a procedure for constraint satisfiability in combined fragments is outlined, following Nelson-Oppen sche...
112
Voted
GECCO
2005
Springer
15 years 9 months ago
2005
Springer
In this paper, a genetic algorithm is introduced to generate variants of a choreographic sequence, which are then selected using different criteria. The mutation phase of the algo...
150
click to vote
HYBRID
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Hamilton-Jacobi partial differential equations have many applications in the analysis of nondeterministic continuous and hybrid systems. Unfortunately, analytic solution...
126
click to vote
ISSAC
2005
Springer
15 years 9 months ago
2005
Springer
This paper presents a duality analysis and an algorithm for computing the multiplicity structure of a zero to a polynomial system, while the zero can be exact or approximate with ...
139
click to vote
LPNMR
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We associate optimality theory with abduction and preference handling. We present linguistic problems that appear in the study of dialects as new application of abduction...