2203 search results - page 254 / 441 » Temporal Abstract Interpretation |
143
click to vote
AUSAI
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. In this paper we propose a clustering algorithm called sCluster for analysis of gene expression data based on pattern-similarity. The algorithm captures the tight cluster...
146
click to vote
EUC
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. With rapid advancements in wireless devices, ubiquitous computing seems becoming a reality everyday. Active pervasive network infrastructure has been introduced to offer...
117
Voted
FOSSACS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We investigate a category theoretic model where both “variables” and “names”, usually viewed as separate notions, are particular cases of the more general notion ...
129
click to vote
ILP
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Reasoning plays a central role in intelligent systems that operate in complex situations that involve time constraints. In this paper, we present the Adaptive Logic Inter...
130
click to vote
LPAR
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. The mechanisation of proofs for probabilistic systems is particularly challenging due to the verification of real-valued properties that probability entails: experience ...