13277 search results - page 2403 / 2656 » An Approach to Clustering Abstracts |
184
click to vote
MICS
2008
15 years 7 months ago
2008
Abstract. OpenMath [6] is a standard for representing the semantics of mathematical objects. It differs from Presentation MathML [8] in not being directly concerned with the presen...
183
click to vote
ENTCS
2007
15 years 7 months ago
2007
The use of typed intermediate languages can significantly increase the reliability of a compiler. By typechecking the code produced at each transformation stage, one can identify...
211
click to vote
ENTCS
2007
15 years 7 months ago
2007
Abstract. Model-based testing has been proposed as a technique to automatically verify that a system conforms to its specification. A popular approach is to use a model-checker to...
201
click to vote
JVCA
2006
15 years 7 months ago
2006
d Abstract) Jieun Lee, Seung-Hyun Yoon, and Myunng-Soo Kim Seoul National University, KOREA We present a new approach to realistic hand modeling and deformation with real-time per...
217
click to vote
KAIS
2006
15 years 7 months ago
2006
Abstract. Many supervised machine learning tasks can be cast as multi-class classification problems. Support vector machines (SVMs) excel at binary classification problems, but the...