Sciweavers

1940 search results - page 351 / 388
» Graph Transformation with Variables
Sort
View
133
Voted
TCAD
2002
121views more  TCAD 2002»
15 years 2 months ago
Robust Boolean reasoning for equivalence checking and functional property verification
Many tasks in CAD, such as equivalence checking, property checking, logic synthesis, and false paths analysis require efficient Boolean reasoning for problems derived from circuits...
Andreas Kuehlmann, Viresh Paruthi, Florian Krohm, ...
157
Voted
PAMI
2007
148views more  PAMI 2007»
15 years 2 months ago
Orthogonal Neighborhood Preserving Projections: A Projection-Based Dimensionality Reduction Technique
This paper considers the problem of dimensionality reduction by orthogonal projection techniques. The main feature of the proposed techniques is that they attempt to preserve both...
Effrosini Kokiopoulou, Yousef Saad
CORR
2010
Springer
83views Education» more  CORR 2010»
15 years 1 months ago
Multitriangulations, pseudotriangulations and primitive sorting networks
We study the set of all pseudoline arrangements with contact points which cover a given support. We define a notion of flip which transforms a pseudoline arrangement with contact...
Vincent Pilaud, Michel Pocchiola
101
Voted
EMNLP
2010
15 years 17 days ago
Practical Linguistic Steganography Using Contextual Synonym Substitution and Vertex Colour Coding
Linguistic Steganography is concerned with hiding information in natural language text. One of the major transformations used in Linguistic Steganography is synonym substitution. ...
Ching-Yun Chang, Stephen Clark
104
Voted
ICPR
2010
IEEE
15 years 15 days ago
Rectifying Non-Euclidean Similarity Data Using Ricci Flow Embedding
Similarity based pattern recognition is concerned with the analysis of patterns that are specified in terms of object dissimilarity or proximity rather than ordinal values. For man...
Weiping Xu, Edwin R. Hancock, Richard C. Wilson