5634 search results - page 201 / 1127 » About Abstract Classes |
FSTTCS
2001
Springer
15 years 3 months ago
2001
Springer
Abstract. This paper studies a recently developed an approach to reasoning about mutable data structures, which uses an assertion language with spatial conjunction and implication ...
SPATIALCOGNITION
2000
Springer
15 years 2 months ago
2000
Springer
Abstract. In the context of a research about application of dynamic visualisation parameters in animations for monitoring purposes, this paper reports on characteristics of dynamic...
EON
2007
15 years 24 days ago
2007
Abstract. Watson is a gateway to the Semantic Web: it collects, analyzes and gives access to ontologies and semantic data available online with the objective of supporting their dy...
SCM
1998
15 years 21 days ago
1998
Abstract. An SCM database contains data which can be used as input for Software Metrics. Both data for Size-Oriented Metrics, and information for ProcessOriented Metrics are availa...
BRAIN
2010
Springer
14 years 8 months ago
2010
Springer
Abstract. In this paper, a method is proposed for using a simple neurophysiological brain response, the N400 potential, to determine a deeper underlying brain state. The goal is to...