Sciweavers

391 search results - page 12 / 79
» Constructive Equivalence Relations on Computable Probability...
Sort
View
CADE
2006
Springer
15 years 11 months ago
Automatic Construction and Verification of Isotopy Invariants
Abstract. We extend our previous study of the automatic construction of isomorphic classification theorems for algebraic domains by considering the isotopy equivalence relation. Is...
Volker Sorge, Andreas Meier, Roy L. McCasland, Sim...
ISAAC
2004
Springer
103views Algorithms» more  ISAAC 2004»
15 years 4 months ago
Structural Similarity in Graphs (A Relaxation Approach for Role Assignment)
Standard methods for role assignment partition the vertex set of a graph in such a way that vertices in the same class can be considered to have equivalent roles in the graph. Seve...
Ulrik Brandes, Jürgen Lerner
ICPR
2006
IEEE
15 years 5 months ago
Gesture Segmentation from a Video Sequence Using Greedy Similarity Measure
We propose a novel method of greedy similarity measure to segment long spatial-temporal video sequences. Firstly, a principal curve of motion region along frames of a video sequen...
Qiulei Dong, Yihong Wu, Zhanyi Hu
KBS
2008
98views more  KBS 2008»
14 years 9 months ago
Mixed feature selection based on granulation and approximation
Feature subset selection presents a common challenge for the applications where data with tens or hundreds of features are available. Existing feature selection algorithms are mai...
Qinghua Hu, Jinfu Liu, Daren Yu
FPGA
2004
ACM
121views FPGA» more  FPGA 2004»
15 years 4 months ago
Divide and concatenate: a scalable hardware architecture for universal MAC
We present a cryptographic architecture optimization technique called divide-and-concatenate based on two observations: (i) the area of a multiplier and associated data path decre...
Bo Yang, Ramesh Karri, David A. McGrew