4047 search results - page 334 / 810 » The Discrete Basis Problem |
153
click to vote
ER
2007
Springer
16 years 26 days ago
2007
Springer
With regard to environmental decision-making, the field of conceptual modelling is primarily focused on representation and visualisation. As such, the ‘soft’ problem structuri...
142
click to vote
DATE
2005
IEEE
16 years 9 days ago
2005
IEEE
In this paper, we present a two-level modeling approach to performance macromodeling based on radial basis function Support Vector Machine (SVM). The two-level model consists of a...
187
click to vote
TABLEAUX
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. Description Logics (DLs) are a family of logic based knowledge representation formalisms. Although they have a range of applications (e.g., configuration and information...
184
click to vote
IFIP
2004
Springer
16 years 2 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...
178
click to vote
MICAI
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. Classical constraint satisfaction problems (CSPs) provide an expressive formalism for describing and solving many real-world problems. However, classical CSPs prove to be...