Sciweavers

802 search results - page 58 / 161
» Skill Characterization Based on Betweenness
Sort
View
VDB
2000
188views Database» more  VDB 2000»
13 years 9 months ago
Toward feature Algebras in Visual Databases: The Case for a Histogram Algebra
Searching and managing large archives of visual data, such as images and video, is made hard by the lack of proper integration between the visual aspects of the problem (image pro...
Amarnath Gupta, Simone Santini
PRL
2006
79views more  PRL 2006»
13 years 7 months ago
Multi-class feature selection for texture classification
In this paper, a multi-class feature selection scheme based on recursive feature elimination (RFE) is proposed for texture classifications. The feature selection scheme is perform...
Xue-wen Chen, Xiang-Yan Zeng, Deborah van Alphen
TSMC
2008
113views more  TSMC 2008»
13 years 7 months ago
Computational Methods for Verification of Stochastic Hybrid Systems
Stochastic hybrid system (SHS) models can be used to analyze and design complex embedded systems that operate in the presence of uncertainty and variability. Verification of reacha...
Xenofon D. Koutsoukos, Derek Riley
ISOLA
2010
Springer
13 years 5 months ago
HATS: Highly Adaptable and Trustworthy Software Using Formal Methods
The HATS project develops a formal method for the design, analysis, and implementation of highly adaptable software systems that are at the same time characterized by a high demand...
Reiner Hähnle
JMLR
2010
158views more  JMLR 2010»
13 years 2 months ago
Topology Selection in Graphical Models of Autoregressive Processes
An algorithm is presented for topology selection in graphical models of autoregressive Gaussian time series. The graph topology of the model represents the sparsity pattern of the...
Jitkomut Songsiri, Lieven Vandenberghe