5525 search results - page 963 / 1105 » Verification of Model Transformations |
138
click to vote
CAD
2004
Springer
15 years 3 months ago
2004
Springer
Despite its usefulness in many applications, the medial axis transform (MAT) is very sensitive to the change of the boundary in the sense that, even if a shape is perturbed only s...
142
click to vote
TCS
2002
15 years 3 months ago
2002
This paper discusses a mathematical concept of language that models both artificial and natural languages and thus provides a framework for a unified language processing methodolo...
128
click to vote
TASLP
2010
15 years 1 months ago
2010
—This paper considers the problem of obtaining an accurate spectral representation of speech formant structure when the voicing source exhibits a high fundamental frequency. Our ...
132
Voted
CDC
2010
IEEE
14 years 10 months ago
2010
IEEE
Subspace identification has proven useful when identifying identifying multi-input multi-output systems. It is, however, important in many applications to take a priori structural ...
253
Voted
INFOCOM
2011
IEEE
14 years 6 months ago
2011
IEEE
—Cloud Computing has great potential of providing robust computational power to the society at reduced cost. It enables customers with limited computational resources to outsourc...