Sciweavers

1755 search results - page 76 / 351
» An efficient simulation algorithm based on abstract interpre...
Sort
View
SARA
2009
Springer
16 years 24 days 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
15 years 8 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 11 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 12 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
15 years 3 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...