Sciweavers

2672 search results - page 132 / 535
» Hybridizing Concept Languages
Sort
View
ICPR
2004
IEEE
14 years 10 months ago
Signal Discrimination Using a Support Vector Machine for Genetic Syndrome Diagnosis
In this study, a support vector machine (SVM) classifies real world data of cytogenetic signals measured from fluorescence in-situ hybridization (FISH) images in order to diagnose...
Amit David, Boaz Lerner
TPHOL
2008
IEEE
14 years 3 months ago
A Formalized Theory for Verifying Stability and Convergence of Automata in PVS
Correctness of many hybrid and distributed systems require stability and convergence guarantees. Unlike the standard induction principle for verifying invariance, a theory for veri...
Sayan Mitra, K. Mani Chandy
HICSS
2005
IEEE
139views Biometrics» more  HICSS 2005»
14 years 2 months ago
Business Models for Mobile Communities
Communities (especially virtual communities) of Interest have been the focus of substantial discussion in academic literature. This paper addresses Communities of Interest within ...
Petra Schubert, J. Felix Hampe
ICITA
2005
IEEE
14 years 2 months ago
Combining Diversity-Based Active Learning with Discriminant Analysis in Image Retrieval
Small-sample learning in image retrieval is a pertinent and interesting problem. Relevance feedback is an active area of research that seeks to find algorithms that are robust wi...
Charlie K. Dagli, ShyamSundar Rajaram, Thomas S. H...
HYBRID
1992
Springer
14 years 18 days ago
A Formal Approach to Computer Systems Requirements Documentation
This paper demonstrates how the extended duration calculus [4] can be used to support the approach to documentation of computer systems presented by in [1]. This approach uses the ...
Marcin Engel, Marcin Kubica, Jan Madey, David Lorg...