5525 search results - page 768 / 1105 » Verification of Model Transformations |
173
click to vote
GW
2007
Springer
16 years 1 months ago
2007
Springer
We present a method for recognizing gesture motions based on elastic deformable shapes and curvature templates. Gestures are modeled using a spline curve representation that is enh...
158
click to vote
ICPR
2010
IEEE
16 years 14 days ago
2010
IEEE
—In this paper, we present an approach for symbol representation and recognition in line drawings, integrating both the vector-based structural description and pixel-level statis...
202
click to vote
CIMCA
2005
IEEE
16 years 13 days ago
2005
IEEE
This paper presents a recurrent fuzzy-neural filter for adaptive noise cancellation. The cancellation task is transformed to a system-identification problem, which is tackled by u...
183
click to vote
CADE
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. Pocket KRHyper is a reasoning system for Java-enabled mobile devices. The core of the system is a first order theorem prover and model generator based on the hyper table...
170
click to vote
COORDINATION
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. We present a framework for modelling heterogeneous distributed systems using graph transformations in the Synchronized Hyperedge Replacement approach, which describes com...