Sciweavers

1607 search results - page 73 / 322
» The existence of k-radius sequences
Sort
View
102
Voted
TACAS
2005
Springer
158views Algorithms» more  TACAS 2005»
15 years 4 months ago
Symstra: A Framework for Generating Object-Oriented Unit Tests Using Symbolic Execution
Object-oriented unit tests consist of sequences of method invocations. Behavior of an invocation depends on the method’s arguments and the state of the receiver at the beginning ...
Tao Xie, Darko Marinov, Wolfram Schulte, David Not...
ICRA
2003
IEEE
125views Robotics» more  ICRA 2003»
15 years 4 months ago
Online footstep planning for humanoid robots
We present an online algorithm for planning sequences of footstep locations that encode goal-directed navigation strategies for humanoid robots. Planning footsteps is more general...
James J. Kuffner Jr., Satoshi Kagami, Koichi Nishi...
97
Voted
MVA
2007
162views Computer Vision» more  MVA 2007»
14 years 10 months ago
Location-Based Tracking of Moving Obstacles from a Mobile Robot
Tracking moving obstacles from a moving platform is a useful skill for the coming generation of mobile robot. The methods used in existing moving objects tracking that operated fr...
Thatsaphan Suwannathat, Jun-ichi Imai, Masahide Ka...
RECOMB
2008
Springer
15 years 11 months ago
Ab Initio Whole Genome Shotgun Assembly with Mated Short Reads
Next Generation Sequencing (NGS) technologies are capable of reading millions of short DNA sequences both quickly and cheaply. While these technologies are already being used for r...
Paul Medvedev, Michael Brudno
95
Voted
RECOMB
2009
Springer
15 years 5 months ago
Inferring the Recent Duplication History of a Gene Cluster
Abstract. Much important evolutionary activity occurs in gene clusters, where a copy of a gene may be free to evolve new functions. Computational methods to extract evolutionary in...
Giltae Song, Louxin Zhang, Tomás Vinar, Web...