Sciweavers

2302 search results - page 247 / 461
» Testing as Abstraction
Sort
View
JCT
2008
81views more  JCT 2008»
15 years 6 months ago
Algebraic characterization of uniquely vertex colorable graphs
Abstract. The study of graph vertex colorability from an algebraic perspective has introduced novel techniques and algorithms into the field. For instance, it is known that k-color...
Christopher J. Hillar, Troels Windfeldt
JSCIC
2008
129views more  JSCIC 2008»
15 years 6 months ago
Level Set Equations on Surfaces via the Closest Point Method
Abstract Level set methods have been used in a great number of applications in R2 and R3 and it is natural to consider extending some of these methods to problems defined on surfac...
Colin B. Macdonald, Steven J. Ruuth
JCST
2006
128views more  JCST 2006»
15 years 6 months ago
Multi-Instance Learning from Supervised View
Abstract In multi-instance learning, the training set comprises labeled bags that are composed of unlabeled instances, and the task is to predict the labels of unseen bags. This pa...
Zhi-Hua Zhou
JIKM
2006
136views more  JIKM 2006»
15 years 6 months ago
Decision Support Systems Using Ensemble Genetic Programming
Abstract. This paper proposes a decision support system for tactical air combat environment using a combination of unsupervised learning for clustering the data and an ensemble of ...
Ajith Abraham, Crina Grosan
MMS
2008
15 years 6 months ago
A framework for efficient and rapid development of cross-platform audio applications
CLAM is a C++ framework that offers a complete development and research platform for the audio and music domain. om offering an abstract model for audio systems, it also includes ...
Xavier Amatriain, Pau Arumi, David Garcia