Sciweavers

3128 search results - page 201 / 626
» Finite element method
Sort
View
ICDAR
2003
IEEE
15 years 9 months ago
Word Searching in CCITT Group 4 Compressed Document Images
In this paper, we present a compressed pattern matching method for searching user queried words in the CCITT Group 4 compressed document images, without decompressing. The feature...
Yue Lu, Chew Lim Tan
119
Voted
JSCIC
2007
89views more  JSCIC 2007»
15 years 3 months ago
Preconditioned Descent Algorithms for p-Laplacian
In this paper, we examine some computational issues on finite element discretization of the p-Laplacian. We introduced a class of descent methods with multi-grid finite element ...
Y. Q. Huang, Ruo Li, Wenbin Liu
SIGSOFT
2005
ACM
16 years 4 months ago
Relational analysis of algebraic datatypes
We present a technique that enables the use of finite model finding to check the satisfiability of certain formulas whose intended models are infinite. Such formulas arise when us...
Viktor Kuncak, Daniel Jackson
IPPS
2010
IEEE
15 years 1 months ago
Hardware implementation for scalable lookahead Regular Expression detection
Regular Expressions (RegExes) are widely used in various applications to identify strings of text. Their flexibility, however, increases the complexity of the detection system and ...
Masanori Bando, N. Sertac Artan, Nishit Mehta, Yi ...
GMP
2008
IEEE
162views Solid Modeling» more  GMP 2008»
15 years 5 months ago
Cutting and Fracturing Models without Remeshing
Afiniteelement simulationframeworkforcuttingand fracturing model without remeshing is presented. The main idea of proposed method is adding a discontinuous function for the standa...
Chao Song, Hongxin Zhang, Yuan Wu, Hujun Bao