Sciweavers

1691 search results - page 131 / 339
» Restricted subset selection
Sort
View
BIOINFORMATICS
2008
106views more  BIOINFORMATICS 2008»
15 years 2 months ago
Interactive visualization software for exploring phylogenetic trees and clades
The Summary Tree Explorer (STE) is a Java application for interactively exploring sets of phylogenetic trees using two coupled representations: a node-and-link diagram and a textu...
Mark Derthick
166
Voted
EUSFLAT
2009
679views Fuzzy Logic» more  EUSFLAT 2009»
15 years 9 days ago
Combining Wavelets and Computational Intelligence Methods with Applications on Multi-class Classification Datasets
In this paper, we propose a novel algorithm for wavelet feature extraction as input to a supervised Multi-Class Classifier to improve classification performance. In particular, to ...
Carlos Campos Bracho
161
Voted
ICFEM
2009
Springer
15 years 9 months ago
Approximate Model Checking of PCTL Involving Unbounded Path Properties
Abstract. We study the problem of applying statistical methods for approximate model checking of probabilistic systems against properties encoded as PCTL formulas. Such approximate...
Samik Basu, Arka P. Ghosh, Ru He
129
Voted
KBSE
2007
IEEE
15 years 8 months ago
Scalable automatic test data generation from modeling diagrams
We explore the automatic generation of test data that respect constraints expressed in the Object-Role Modeling (ORM) language. ORM is a popular conceptual modeling language, prim...
Yannis Smaragdakis, Christoph Csallner, Ranjith Su...
IEICET
2008
67views more  IEICET 2008»
15 years 2 months ago
Learning of Finite Unions of Tree Patterns with Internal Structured Variables from Queries
We consider the polynomial time learnability of finite unions of ordered tree patterns with internal structured variables, in the query learning model of Angluin (1988). An ordered...
Satoshi Matsumoto, Takayoshi Shoudai, Tomoyuki Uch...