5336 search results - page 712 / 1068 » Steerable part models |
181
click to vote
BMCBI
2004
15 years 7 months ago
2004
Background: Transposable elements (TE) are mobile genetic entities present in nearly all genomes. Previous work has shown that TEs tend to have a different nucleotide composition ...
195
click to vote
CAD
2004
Springer
15 years 7 months ago
2004
Springer
We address the problem of representing and processing 3D objects, described through simplicial meshes, which consist of parts of mixed dimensions, and with a non-manifold topology...
231
click to vote
CORR
2004
Springer
15 years 7 months ago
2004
Springer
Full formal descriptions of algorithms making use of quantum principles must take into account both quantum and classical computing components and assemble them so that they commu...
201
click to vote
BELL
2000
15 years 7 months ago
2000
A significant part of the call processing software for Lucent's new PathStar access server [FSW98] was checked with automated formal verification techniques. The verification...
197
click to vote
CAD
2000
Springer
15 years 7 months ago
2000
Springer
This paper presents a service marketplace vision for enterprise-wide integrated design modeling. In this environment, expert participants and product development organizations are...