958 search results - page 128 / 192 » Model Transformation Languages and Their Implementation by B... |
122
click to vote
GW
2007
Springer
15 years 7 months ago
2007
Springer
This paper presents a method of image processing used in a mono-vision system in order to study semiotic gestures. We present a robust method to track the hands and face of a perso...
CAV
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. While effective methods for bit-level verification of low-level properties exist, system-level properties that entail reasoning about a significant part of the design p...
131
click to vote
JMLR
2010
14 years 8 months ago
2010
Kernel techniques have long been used in SVM to handle linearly inseparable problems by transforming data to a high dimensional space, but training and testing large data sets is ...
121
click to vote
ESOP
2005
Springer
15 years 7 months ago
2005
Springer
Program slicing is a well-known methodology that aims at identifying the program statements that (potentially) affect the values computed at some point of interest. Within imperat...
NPAR
2004
ACM
15 years 6 months ago
2004
ACM
We present an algorithm for simulating the cracks found in Batik wax painting and dyeing technique used to make images on cloth. The algorithm produces cracks similar to those fou...