3255 search results - page 61 / 651 » Combination of Abstractions in the ASTR |
MCS
2000
Springer
14 years 12 days ago
2000
Springer
Abstract Investigating a data set of the critical size makes a classification task difficult. Studying dissimilarity data refers to such a problem, since the number of samples equa...
TACAS
2000
Springer
14 years 12 days ago
2000
Springer
Salsa is an invariant checker for speci cations in SAL the SCR Abstract Language. To establish a formula as an invariant without any user guidance Salsa carries out an induction pr...
BIBE
2007
IEEE
13 years 10 months ago
2007
IEEE
Abstract—Gene expression data usually contains a large number of genes, but a small number of samples. Feature selection for gene expression data aims at finding a set of genes ...
ECAI
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. Despite the recent advances in planning for classical domains, the question of how to use domain knowledge in planning is yet to be completely and clearly answered. Some ...
ESWS
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. The Semantic Desktop is a means to support users in Personal Information Management (PIM). It provides an excellent test bed for Semantic Web technology: resources (e. g....