4047 search results - page 334 / 810 » The Discrete Basis Problem |
135
Voted
ER
2007
Springer
15 years 11 months 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...
119
Voted
DATE
2005
IEEE
15 years 10 months 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...
159
click to vote
TABLEAUX
2005
Springer
15 years 10 months 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...
162
click to vote
IFIP
2004
Springer
15 years 10 months 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...
145
click to vote
MICAI
2004
Springer
15 years 10 months 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...