5084 search results - page 68 / 1017 » Proving Possibility Properties |
APN
2003
Springer
14 years 3 months ago
2003
Springer
Model checking by exhaustive state space enumeration is one of the most developed analysis methods for distributed event systems. Its main problem—the size of the state spaces—...
ICPR
2010
IEEE
14 years 1 months ago
2010
IEEE
—In this paper, we propose a method to model the material constants (Young’s modulus) of the skin in subregions of the face from the motion observed in multiple facial expressi...
ROOM
2000
13 years 11 months ago
2000
This paper proposes a revised semantic interpretation of UML Statechart Diagrams which ensures, under the specified design rules, that Statecharts may be constructed to have true ...
AAECC
1999
Springer
13 years 9 months ago
1999
Springer
Abstract. A recursive convolutional encoder can be regarded as an innite impulse response system over the Galois Field of order 2. First, in this paper, we introduce nite response ...
NECO
2007
13 years 9 months ago
2007
Support Vector Machine (SVM) has been spotlighted in the machine learning community thanks to its theoretical soundness and practical performance. When applied to a large data set...