2203 search results - page 202 / 441 » Temporal Abstract Interpretation |
143
Voted
GW
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. The problem of hand tracking in the presence of occlusion is addressed. In bimanual movements the hands tend to be synchronised effortlessly. Different aspects of this sy...
146
click to vote
ICANN
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. The growth in amount of data available today has encouraged the development of effective data analysis methods to support human decision-making. Neuro-fuzzy computation ...
159
click to vote
CC
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. We present a method of specifying standard imperative program optimisations as a rewrite system. To achieve this we have extended the idea of matching sub-terms in expres...
125
Voted
IPPS
2000
IEEE
15 years 8 months ago
2000
IEEE
Abstract. The continuous media applications have an implied temporal dimension, i.e. they are presented at a particular rate for a particular length of time and if the required rat...
115
click to vote
CHARME
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. This paper describes a semantic connection between the symbolic trajectory evaluation model-checking algorithm and relational verification in higher-order logic. We prov...