Sciweavers

8486 search results - page 1564 / 1698
» Ordered Enumeration Method
Sort
View
ICRA
2009
IEEE
226views Robotics» more  ICRA 2009»
15 years 2 months ago
3D model selection from an internet database for robotic vision
Abstract-- We propose a new method for automatically accessing an internet database of 3D models that are searchable only by their user-annotated labels, for using them for vision ...
Ulrich Klank, Muhammad Zeeshan Zia, Michael Beetz
BMCBI
2010
100views more  BMCBI 2010»
15 years 1 months ago
New insights into protein-protein interaction data lead to increased estimates of the S. cerevisiae interactome size
Background: As protein interactions mediate most cellular mechanisms, protein-protein interaction networks are essential in the study of cellular processes. Consequently, several ...
Laure Sambourg, Nicolas Thierry-Mieg
IJEIS
2010
80views more  IJEIS 2010»
15 years 1 months ago
Semantics for Accurate Conflict Detection in SMoVer: Specification, Detection and Presentation by Example
In collaborative software development the utilization of Version Control Systems (VCSs) is a must. For this, a multitude of pessimistic as well as optimistic VCSs for model artifa...
Kerstin Altmanninger, Wieland Schwinger, Gabriele ...
INFSOF
2010
173views more  INFSOF 2010»
15 years 1 months ago
Filtering false alarms of buffer overflow analysis using SMT solvers
Buffer overflow detection using static analysis can provide a powerful tool for software ers to find difficult bugs in C programs. Sound static analysis based on abstract interpre...
Youil Kim, Jooyong Lee, Hwansoo Han, Kwang-Moo Cho...
BMCBI
2010
131views more  BMCBI 2010»
14 years 11 months ago
Dynamics based alignment of proteins: an alternative approach to quantify dynamic similarity
Background: The dynamic motions of many proteins are central to their function. It therefore follows that the dynamic requirements of a protein are evolutionary constrained. In or...
Márton Münz, Rune B. Lyngsø, Jo...
« Prev « First page 1564 / 1698 Last » Next »