6562 search results - page 325 / 1313 » Noetherianity and Combination Problems |
166
click to vote
ICA
2004
Springer
16 years 3 days ago
2004
Springer
This paper presents a method for solving the permutation problem of frequency domain blind source separation (BSS) when the number of source signals is large, and the potential sou...
184
click to vote
IFIP
2004
Springer
16 years 3 days ago
2004
Springer
In this paper we study the complexity of the model-checking problem for the tree logic introduced as the basis for the query language TQL [Cardelli and Ghelli, 2001]. We define tw...
190
click to vote
ILP
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. Logic Programs with Annotated Disjunctions (LPADs) provide a simple and elegant framework for integrating probabilistic reasoning and logic programming. In this paper we ...
200
click to vote
ISSAC
2004
Springer
16 years 3 days ago
2004
Springer
Simplification has been long recognised to be a fundamental problem within computer algebra[17]. However, even for the class of elementary functions, it has not been resolved in ...
161
click to vote
KELSI
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. This paper describes the problem of modelling toxicity of environmental pollutants using molecular descriptors from a systems theoretical viewpoint. It is shown that curr...