Sciweavers

1229 search results - page 124 / 246
» A New Method for Dependent Parsing
Sort
View
CGF
2008
127views more  CGF 2008»
13 years 10 months ago
Fitting Sharp Features with Loop Subdivision Surfaces
Various methods have been proposed for fitting subdivision surfaces to different forms of shape data (e.g., dense meshes or point clouds), but none of these methods effectively de...
Ruotian Ling, Wenping Wang, Dong-Ming Yan
CORR
2012
Springer
230views Education» more  CORR 2012»
12 years 6 months ago
Fast Triangle Counting through Wedge Sampling
Graphs and networks are used to model interactions in a variety of contexts, and there is a growing need to be able to quickly assess the qualities of a graph in order to understa...
C. Seshadhri, Ali Pinar, Tamara G. Kolda
RSCTC
2000
Springer
197views Fuzzy Logic» more  RSCTC 2000»
14 years 1 months ago
Rough Set Approach to CBR
We discuss how Case Based Reasoning (CBR) (see e.g. [1], [4]) philosophy of adaptation of some known situations to new similar ones can be realized in rough set framework [5] for c...
Jan Wierzbicki
KDD
2002
ACM
179views Data Mining» more  KDD 2002»
14 years 10 months ago
Combining clustering and co-training to enhance text classification using unlabelled data
In this paper, we present a new co-training strategy that makes use of unlabelled data. It trains two predictors in parallel, with each predictor labelling the unlabelled data for...
Bhavani Raskutti, Herman L. Ferrá, Adam Kow...
FMCAD
1998
Springer
14 years 2 months ago
Combining Symbolic Model Checking with Uninterpreted Functions for Out-of-Order Processor Verification
We present a new approach to the verification of hardware systems with data dependencies using temporal logic symbolic model checking. As a benchmark we take Tomasulo's algori...
Sergey Berezin, Armin Biere, Edmund M. Clarke, Yun...