Sciweavers

3299 search results - page 195 / 660
» A general mathematics of names
Sort
View
ISSAC
2007
Springer
91views Mathematics» more  ISSAC 2007»
16 years 21 days ago
Generation and optimisation of code using coxeter lattice paths
Supercomputing applications usually involve the repeated parallel application of discretized differential operators. Difficulties arise with higher-order discretizations of opera...
Thomas J. Ashby, Anthony D. Kennedy, Stephen M. Wa...
OTM
2007
Springer
16 years 21 days ago
Compiler Assisted Elliptic Curve Cryptography
Abstract. Although cryptographic implementation tasks are often undertaken by expert programmers, a plethora of performance and security driven options, as well as more mundane sof...
Manuel Barbosa, Andrew Moss, Dan Page
PKDD
2007
Springer
112views Data Mining» more  PKDD 2007»
16 years 20 days ago
Association Mining in Large Databases: A Re-examination of Its Measures
Abstract. In the literature of data mining and statistics, numerous interestingness measures have been proposed to disclose succinct object relationships of association patterns. H...
Tianyi Wu, Yuguo Chen, Jiawei Han
CIMCA
2006
IEEE
16 years 19 days ago
Direct Adaptive Fuzzy Control with Less Restrictions on the Control Gain
: In the adaptive fuzzy control field for affine nonlinear systems, there are two basic configurations: direct and indirect. It is well known that the direct configuration needs mo...
Phi Anh Phan, Timothy J. Gale
GLVLSI
2006
IEEE
105views VLSI» more  GLVLSI 2006»
16 years 18 days ago
A practical approach for monitoring analog circuits
Formal methods have been advocated for the verification of digital design where correctness is proved mathematically. In contrast to digital designs, the verification of analog ...
Mohamed H. Zaki, Sofiène Tahar, Guy Bois