Sciweavers

4276 search results - page 362 / 856
» Techniques for Empirical Validation
Sort
View
MICAI
2007
Springer
16 years 29 days ago
Handling Constraints in Particle Swarm Optimization Using a Small Population Size
This paper presents a particle swarm optimizer for solving constrained optimization problems which adopts a very small population size (five particles). The proposed approach uses...
Juan Carlos Fuentes Cabrera, Carlos A. Coello Coel...
PERVASIVE
2007
Springer
16 years 29 days ago
Shake Well Before Use: Authentication Based on Accelerometer Data
Abstract. Small, mobile devices without user interfaces, such as Bluetooth headsets, often need to communicate securely over wireless networks. Active attacks can only be prevented...
Rene Mayrhofer, Hans Gellersen
WILF
2007
Springer
127views Fuzzy Logic» more  WILF 2007»
16 years 28 days ago
Unsupervised Haplotype Reconstruction and LD Blocks Discovery in a Hidden Markov Framework
In the last years haplotype reconstruction and haplotype blocks discovery, i.e., the estimation of patterns of linkage disequilibrium (LD) in the haplotypes, riveted the attention ...
Alessandro Perina, Marco Cristani, Giovanni Malerb...
COMPSAC
2005
IEEE
16 years 14 days ago
Adaptive Testing, Oracle Generation, and Test Case Ranking for Web Services
Web services and service-oriented architecture are emerging technologies that are changing the way we develop and use computer software. Due to the standardization of web services...
Wei-Tek Tsai, Yinong Chen, Raymond A. Paul, Hai Hu...
IAT
2005
IEEE
16 years 13 days ago
Automatic Generation of Self-controlled Autonomous Agents
Being able to trust in a system behavior is of prime importance, particularly within the context of critical applications as embedded or real-time systems. We want to ensure that ...
Caroline Chopinaud, Amal El Fallah-Seghrouchni, Pa...