360 search results - page 36 / 72 » A Method for the Verification of Haptic Algorithms |
CAV
2010
Springer
14 years 8 months ago
2010
Springer
Abstract. Proofs of progress properties often require fairness assumptions. Incorporating global fairness assumptions in a compositional method is a challenge, however, given the l...
114
click to vote
BICOB
2009
Springer
14 years 7 months ago
2009
Springer
We propose a two-step biclustering approach to mine co-regulation patterns of a given reference gene to discover other genes that function in a common biological process. Currently...
DAC
2005
ACM
15 years 11 months ago
2005
ACM
This paper presents an efficient hierarchical 3D capacitance extraction algorithm -- ICCAP. Most previous capacitance extraction algorithms introduce intermediate variables to fac...
GECCO
2007
Springer
15 years 4 months ago
2007
Springer
Selecting the most relevant factors from genetic profiles that can optimally characterize cellular states is of crucial importance in identifying complex disease genes and biomark...
GECCO
2008
Springer
14 years 11 months ago
2008
Springer
This paper addresses the image registration problem applying genetic algorithms. The image registration’s objective is the definition of a mapping that best match two set of poi...