Sciweavers

10608 search results - page 1669 / 2122
» Complexity of O'Hara's Algorithm
Sort
View
BMCBI
2008
102views more  BMCBI 2008»
15 years 5 months ago
Improving protein function prediction methods with integrated literature data
Background: Determining the function of uncharacterized proteins is a major challenge in the post-genomic era due to the problem's complexity and scale. Identifying a protein...
Aaron Gabow, Sonia M. Leach, William A. Baumgartne...
BMCBI
2008
158views more  BMCBI 2008»
15 years 5 months ago
Bioinformatics in Italy: BITS2007, the fourth annual meeting of the Italian Society of Bioinformatics
spectives. A total of 149 abstracts were accepted and presented in the poster session and 31 of them were selected for oral presentation. At the opening of the meeting, Roderic Gui...
Graziano Pesole, Manuela Helmer-Citterich
158
Voted
COMGEO
2010
ACM
15 years 5 months ago
Exact join detection for convex polyhedra and other numerical abstractions
r Numerical Abstractions6 Roberto Bagnaraa , Patricia M. Hillb , Enea Zaffanellaa aDepartment of Mathematics, University of Parma, Italy bSchool of Computing, University of Leeds, ...
Roberto Bagnara, Patricia M. Hill, Enea Zaffanella
CGF
2008
201views more  CGF 2008»
15 years 5 months ago
High-Resolution Volumetric Computation of Offset Surfaces with Feature Preservation
We present a new algorithm for the efficient and reliable generation of offset surfaces for polygonal meshes. The algorithm is robust with respect to degenerate configurations and...
Darko Pavic, Leif Kobbelt
134
Voted
FUIN
2008
99views more  FUIN 2008»
15 years 5 months ago
Universality Analysis for One-Clock Timed Automata
This paper is concerned with the universality problem for timed automata: given a timed automaton A, does A accept all timed words? Alur and Dill have shown that the universality p...
Parosh Aziz Abdulla, Johann Deneux, Joël Ouak...
« Prev « First page 1669 / 2122 Last » Next »