Sciweavers

873 search results - page 70 / 175
» Effective Use of Organisational Abstractions for Confidence ...
Sort
View
EVOW
2006
Springer
15 years 9 months ago
Optimisation of Constant Matrix Multiplication Operation Hardware Using a Genetic Algorithm
Abstract. The efficient design of multiplierless implementations of constant matrix multipliers is challenged by the huge solution search spaces even for small scale problems. Prev...
Andrew Kinane, Valentin Muresan, Noel E. O'Connor
AMFG
2005
IEEE
164views Biometrics» more  AMFG 2005»
15 years 8 months ago
Pose-Encoded Spherical Harmonics for Robust Face Recognition Using a Single Image
Abstract. Face recognition under varying pose is a challenging problem, especially when illumination variations are also present. Under Lambertian model, spherical harmonics repres...
Zhanfeng Yue, Wenyi Zhao, Rama Chellappa
FM
2008
Springer
137views Formal Methods» more  FM 2008»
15 years 7 months ago
JML Runtime Assertion Checking: Improved Error Reporting and Efficiency Using Strong Validity
Abstract. The Java Modeling Language (JML) recently switched to an assertion semantics based on "strong validity" in which an assertion is taken to be valid precisely whe...
Patrice Chalin, Frédéric Rioux
TEC
2008
99views more  TEC 2008»
15 years 6 months ago
A Drug Candidate Design Environment Using Evolutionary Computation
Abstract-- This article describes the Candidate Design Environment we developed for efficient identification of promising drug candidates. Developing effective drugs from active mo...
M. Ihsan Ecemis, J. Wikel, C. Bingham, Eric Bonabe...
EWSN
2008
Springer
16 years 5 months ago
Predictive Modeling-Based Data Collection in Wireless Sensor Networks
Abstract. We address the problem of designing practical, energy-efficient protocols for data collection in wireless sensor networks using predictive modeling. Prior work has sugges...
Lidan Wang, Amol Deshpande