Sciweavers

2444 search results - page 237 / 489
» Feature Construction for Back-Propagation
Sort
View
MEMOCODE
2003
IEEE
15 years 12 months ago
Optimizations for Faster Execution of Esterel Programs
Several efficient compilation techniques have been recently proposed for the generation of sequential (C) code from Esterel programs. Consisting essentially in direct simulation ...
Dumitru Potop-Butucaru, Robert de Simone
GROUP
2003
ACM
15 years 12 months ago
Process inheritance and instance modification
Process technologies play an increasingly important role as the world is being digitalized in nearly every corner. The major obstacles to their massive deployment include reusabil...
Guangxin Yang
AC
2003
Springer
15 years 12 months ago
Generic Haskell: Applications
Generic Haskell is an extension of Haskell that supports the construction of generic programs. These lecture notes discuss three advanced generic programming applications: generic ...
Ralf Hinze, Johan Jeuring
AVBPA
2003
Springer
306views Biometrics» more  AVBPA 2003»
15 years 11 months ago
Fingerprint Alignment Using Similarity Histogram
The performance of fingerprint matching algorithm relies heavily on the accuracy of fingerprint alignment. Falsely aligning two feature sets extracted from two finger images of a f...
Tanghui Zhang, Jie Tian, Yuliang He, Xin Yang
FM
2003
Springer
88views Formal Methods» more  FM 2003»
15 years 11 months ago
A Semantic Foundation for TCOZ in Unifying Theories of Programming
Abstract. UnifyingTheoriesofProgramming(UTP)canprovideaformalsemantic foundation not only for programming languages but also for more expressive specification languages. We believ...
Shengchao Qin, Jin Song Dong, Wei-Ngan Chin