1689 search results - page 221 / 338 » Refining abstract interpretations |
112
click to vote
ASM
2005
ASM
15 years 10 months ago
2005
ASM
AsmL is a novel executable specification language based on the theory of State Machines (ASMs). It represents one of the most powerful practical engines to write and execute ASMs...
148
click to vote
AUSAI
2005
Springer
15 years 10 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...
150
click to vote
EUC
2005
Springer
15 years 10 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...
118
click to vote
FOSSACS
2005
Springer
15 years 10 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 ...
133
click to vote
ILP
2005
Springer
15 years 10 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...