A tool which can quickly interpret line drawings (with hidden lines removed) of engineering objects as boundary representation CAD models would be of significant benefit in the pr...
Many applications arising in a variety of fields can be well illustrated by the task of recovering the low-rank and sparse components of a given matrix. Recently, it is discovered...
Background: Alternative splicing is an important gene regulation mechanism. It is estimated that about 74% of multi-exon human genes have alternative splicing. High throughput tan...
Fan Mo, Xu Hong, Feng Gao, Lin Du, Jun Wang, Gilbe...
Abstract. We present an extension to linear-time temporal logic (LTL) that combines the temporal specification with the collection of statistical data. By collecting statistics ove...
For many medical procedures 3D bone models are built from Computed Tomography (CT) or Magnetic Resonance Imaging (MRI) data, both of which are expensive and time consuming, and un...
Chris Baker, Christian Debrunner, William Hoff, Ja...