8780 search results - page 337 / 1756 » On the Feasibility of Consistent Computations |
217
click to vote
HYBRID
2003
Springer
16 years 23 days ago
2003
Springer
Abstract. This paper describes the implementation of predicate abstraction techniques to automatically compute symbolic backward reachable sets of high dimensional piecewise affine...
210
click to vote
ISWC
2002
IEEE
16 years 14 days ago
2002
IEEE
This paper describes the development of several methods for the dynamic measurement of error distribution for positioning systems. When a user moves along a path at an unknown spe...
176
click to vote
WACV
2002
IEEE
16 years 14 days ago
2002
IEEE
This paper proposes a virtual brush model based on droplet operation and its application on retrieving character outlines and character modeling in Chinese calligraphy style. In t...
196
click to vote
IPPS
1999
IEEE
15 years 12 months ago
1999
IEEE
This paper presents a parallel phoneme recognition algorithm based on the continuous Hidden Markov Model (HMM). The parallel phoneme recognition algorithm distributes 3-state HMMs...
183
click to vote
IPPS
1997
IEEE
15 years 11 months ago
1997
IEEE
The large design space of modern computer architectures calls for performance modelling tools to facilitate the evaluation of different alternatives. In this paper, we give an ove...