3255 search results - page 75 / 651 » Combination of Abstractions in the ASTR |
ATVA
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. The emerging technology of interacting systems calls for new forto ensure their reliability. Concurrent games are paradigmatic abstract models for which several logics ha...
LOPSTR
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Termination of binary CLP programs has recently become an important question in the termination analysis community. The reason for this is due to that a number of approac...
IJSEKE
2002
13 years 8 months ago
2002
through the specification of temporal, spatial and spatio-temporal relations. Moreover, we propose an abstract animation model that can be combined with the intra-media temporal st...
ACL
2009
13 years 6 months ago
2009
This paper presents a novel metric-based framework for the task of automatic taxonomy induction. The framework incrementally clusters terms based on ontology metric, a score indic...
IPMI
1997
Springer
14 years 9 months ago
1997
Springer
Abstract: Neuroanatomical and neurofunctional studies are often referenced to a high resolution MR brain dataset. To allow intersubject comparisons of cortical structures, one need...