Sciweavers

61 search results - page 7 / 13
» Automated Acceptance Testing Using Fit
Sort
View
KR
1998
Springer
14 years 19 days ago
Using an Expressive Description Logic: FaCT or Fiction?
Description Logics form a family of formalisms closely related to semantic networks but with the distinguishing characteristic that the semantics of the concept description langua...
Ian Horrocks
ISMB
1997
13 years 9 months ago
Identifying Chimerism in Proteins Using Hidden Markov Models of Codon Usage
Protein chimerism is a phenomenon involving the combination of multiple ancestral sequences into a single, multi-domain protein through evolution. We propose a novel method for de...
Lawrence Hunter, Barry Zeeberg
SIGSOFT
2010
ACM
13 years 6 months ago
Representation dependence testing using program inversion
The definition of a data structure may permit many different concrete representations of the same logical content. A (client) program that accepts such a data structure as input i...
Aditya Kanade, Rajeev Alur, Sriram K. Rajamani, Ga...
EH
2003
IEEE
90views Hardware» more  EH 2003»
14 years 1 months ago
Evolving Sinusoidal Oscillators Using Genetic Algorithms
In the present paper, single-opamp sinusoidal oscillators are synthesized using genetic algorithms. The motivation is to evolve new topologies of oscillators using different activ...
Varun Aggarwal
ICMLC
2005
Springer
14 years 1 months ago
Evolutionary Synthesis of Micromachines Using Supervisory Multiobjective Interactive Evolutionary Computation
A novel method of Interactive Evolutionary Computation (IEC) for the design of microelectromechanical systems (MEMS) is presented. As the main limitation of IEC is human fatigue, a...
Raffi R. Kamalian, Ying Zhang, Hideyuki Takagi, Al...