Sciweavers

1755 search results - page 76 / 351
» An efficient simulation algorithm based on abstract interpre...
Sort
View
SARA
2009
Springer
15 years 4 months ago
Tightened Transitive Closure of Integer Addition Constraints
We present algorithms for testing the satisfiability and finding the tightened transitive closure of conjunctions of addition constraints of the form ±x ± y ≤ d and bound co...
Peter Z. Revesz
ACII
2005
Springer
14 years 11 months ago
A Canonical Face Based Virtual Face Modeling
Abstract The research presented here is to create 3D virtual face based on the canonical face model derived from a clustering method on facial feature points. The algorithm efficie...
Seongah Chin
EWCBR
2004
Springer
15 years 3 months ago
Investigating Graphs in Textual Case-Based Reasoning
Textual case-based reasoning (TCBR) provides the ability to reason with domain-specific knowledge when experiences exist in text. Ideally, we would like to find an inexpensive way ...
Colleen Cunningham, Rosina Weber, Jason M. Proctor...
ICALT
2005
IEEE
15 years 3 months ago
The Effect of Correlation on the Accuracy of Meta-Learning Approach
Meta-learning is an efficient approach in the field of machine learning, which involves multiple classifiers. In this paper, a meta-learning framework consisting of stacking meta-...
Li-ying Yang, Zheng Qin
CIARP
2010
Springer
14 years 7 months ago
A New Algorithm for Training SVMs Using Approximate Minimal Enclosing Balls
Abstract. It has been shown that many kernel methods can be equivalently formulated as minimal-enclosing-ball (MEB) problems in certain feature space. Exploiting this reduction eff...
Emanuele Frandi, Maria Grazia Gasparo, Stefano Lod...