Sciweavers

912 search results - page 164 / 183
» Design Patterns: Abstraction and Reuse of Object-Oriented De...
Sort
View
VLSID
2005
IEEE
131views VLSI» more  VLSID 2005»
16 years 6 months ago
Efficient Space/Time Compression to Reduce Test Data Volume and Testing Time for IP Cores
Abstract-- We present two-dimensional (space/time) compression techniques that reduce test data volume and test application time for scan testing of intellectual property (IP) core...
Lei Li, Krishnendu Chakrabarty, Seiji Kajihara, Sh...
TLDI
2010
ACM
218views Formal Methods» more  TLDI 2010»
16 years 2 months ago
Pointwise generalized algebraic data types
In the GADT (Generalized Algebraic Data Types) type system, a pattern-matching branch can draw type information from both the scrutinee type and the data constructor type. Even th...
Chuan-kai Lin, Tim Sheard
ICB
2009
Springer
137views Biometrics» more  ICB 2009»
16 years 15 days ago
Palmprint Recognition Based on Regional Rank Correlation of Directional Features
Abstract. Automatic personal identification based on palmprints has been considered as a promising technology in biometrics family during recent years. In pursuit of accurate palmp...
Yufei Han, Zhenan Sun, Tieniu Tan, Ying Hao
DNA
2007
Springer
159views Bioinformatics» more  DNA 2007»
16 years 3 days ago
Activatable Tiles: Compact, Robust Programmable Assembly and Other Applications
While algorithmic DNA self-assembly is, in theory, capable of forming complex patterns, its experimental demonstration has been limited by significant assembly errors. In this pa...
Urmi Majumder, Thomas H. LaBean, John H. Reif
EUROSSC
2007
Springer
16 years 3 days ago
CenceMe - Injecting Sensing Presence into Social Networking Applications
Abstract. We present the design, prototype implementation, and evaluation of CenceMe, a personal sensing system that enables members of social networks to share their sensing prese...
Emiliano Miluzzo, Nicholas D. Lane, Shane B. Eisen...