Sciweavers

2502 search results - page 435 / 501
» Using probabilistic model checking in systems biology
Sort
View
GECCO
2005
Springer
100views Optimization» more  GECCO 2005»
15 years 5 months ago
Evolutionary tree genetic programming
We introduce a clustering-based method of subpopulation management in genetic programming (GP) called Evolutionary Tree Genetic Programming (ETGP). The biological motivation behin...
Ján Antolík, William H. Hsu
RECOMB
2009
Springer
16 years 14 days ago
Shared Peptides in Mass Spectrometry Based Protein Quantification
In analyzing the proteome using mass spectrometry, the mass values help identify the molecules, and the intensities help quantify them, relative to their abundance in other sample...
Banu Dost, Nuno Bandeira, Xiangqian Li, Zhouxin Sh...
CVPR
2006
IEEE
16 years 1 months ago
Inferring Facial Action Units with Causal Relations
A system that could automatically analyze the facial actions in real time have applications in a number of different fields. However, developing such a system is always a challeng...
Yan Tong, Wenhui Liao, Qiang Ji
TCSV
2008
161views more  TCSV 2008»
14 years 11 months ago
Dynamic Facial Expression Analysis and Synthesis With MPEG-4 Facial Animation Parameters
This paper describes a probabilistic framework for faithful reproduction of dynamic facial expressions on a synthetic face model with MPEG-4 facial animation parameters (FAPs) whil...
Yongmian Zhang, Qiang Ji, Zhiwei Zhu, Beifang Yi
POPL
2005
ACM
16 years 4 days ago
Synthesis of interface specifications for Java classes
While a typical software component has a clearly specified (static) interface in terms of the methods and the input/output types they support, information about the correct sequen...
P. Madhusudan, Pavol Cerný, Rajeev Alur, Wo...