5 search results - page 1 / 1 » An algorithm for automated closure during assembly |
BMCBI
2010
13 years 4 months ago
2010
Background: Finishing is the process of improving the quality and utility of draft genome sequences generated by shotgun sequencing and computational assembly. Finishing can invol...
ICRA
1994
IEEE
13 years 8 months ago
1994
IEEE
Fixturing encompasses the design and assembly of fixtures to locate and hold a workpiece during a manufacturing operation such as machining or assembly. We have implemented an auto...
CSL
2008
Springer
13 years 6 months ago
2008
Springer
Abstract. We present a new proof of decidability of higher-order subtyping in the presence of bounded quantification. The algorithm is formulated as a judgement which operates on b...
DAC
2007
ACM
14 years 5 months ago
2007
ACM
Abstract-- In nanometer-scale VLSI technologies, several interconnect issues like routing congestion and interconnect delay have become the main concerns in placement. However, all...
IAT
2006
IEEE
13 years 10 months ago
2006
IEEE
With the advancement of Internet Technology, increasing number of electronic marketplaces and online auction houses provides real-time transaction services for buyers and sellers ...