738 search results - page 49 / 148 » Prime Implicant Computation Using Satisfiability Algorithms |
BMCBI
2010
14 years 12 months ago
2010
Background: Alternative splicing is an important mechanism that increases protein diversity and functionality in higher eukaryotes. Affymetrix exon arrays are a commercialized pla...
125
click to vote
IPPS
2003
IEEE
15 years 5 months ago
2003
IEEE
Component-based models represent a dominant trend in the construction of wide-area network applications, making possible the integration of diverse functionality contained in modu...
CAGD
2006
14 years 12 months ago
2006
Abstract. Volino and Thalmann have published a conjecture proposing sufficient conditions for non-selfintersection of surfaces. Such conditions may be used in solid modeling, compu...
IRI
2008
IEEE
15 years 6 months ago
2008
IEEE
— We revisit the problem of synthesis of service composition in the context of service oriented architecture from a tree automata perspective. Comparing to existing finite state...
100
click to vote
TVCG
2008
14 years 11 months ago
2008
Abstract-- Network data frequently arises in a wide variety of fields, and node-link diagrams are a very natural and intuitive representation of such data. In order for a node-link...