Sciweavers

3174 search results - page 163 / 635
» An Exploration of the Permanent-Determinant Method
Sort
View
CEC
2005
IEEE
16 years 5 days ago
A genetic algorithm for energy minimization in bio-molecular systems
Energy minimization algorithms for bio-molecular systems are critical to applications such as the prediction of protein folding. Conventional energy minimization methods such as th...
Xiaochun Weng, Lutz Hamel, Lenore M. Martin, Joan ...
ICRA
2002
IEEE
127views Robotics» more  ICRA 2002»
15 years 11 months ago
Performance Tests of Partitioned Approaches to Visual Servo Control
Visual Servoing has been a viable method of robot manipulator control for more than a decade. Image-Based Visual Servoing (IBVS), in particular, has seen considerable development ...
Nicholas R. Gans, Peter I. Corke, Seth Hutchinson
FM
2001
Springer
130views Formal Methods» more  FM 2001»
15 years 11 months ago
Towards a Topos Theoretic Foundation for the Irish School of Constructive Mathematics
The Irish School of Constructive Mathematics (M♣ c ), which extends the VDM, exploits an algebraic notation based upon monoids and their morphisms for the purposes of abstract mo...
Mícheál Mac an Airchinnigh
ICDCS
1998
IEEE
15 years 10 months ago
Structuring Remote Object Systems for Mobile Hosts with Intermittent Connectivity
In distributed object systems, remote method inattempts to abstract communication between di erent machines to the level of object method invocation. Link failure in such systems ...
Girish Welling, Maximilian Ott
CSB
2004
IEEE
141views Bioinformatics» more  CSB 2004»
15 years 10 months ago
MinPD: Distance-Based Phylogenetic Analysis and Recombination Detection of Serially-Sampled HIV Quasispecies
A new computational method to study within-host viral evolution is explored to better understand the evolution and pathogenesis of viruses. Traditional phylogenetic tree methods a...
Patricia Buendia, Giri Narasimhan