Sciweavers

6941 search results - page 647 / 1389
» Testing as a Certification Approach
Sort
View
BMCBI
2008
172views more  BMCBI 2008»
15 years 7 months ago
Classification of drug molecules considering their IC50 values using mixed-integer linear programming based hyper-boxes method
Background: A priori analysis of the activity of drugs on the target protein by computational approaches can be useful in narrowing down drug candidates for further experimental t...
Pelin Armutlu, Muhittin Emre Ozdemir, Fadime Ü...
ENTCS
2007
126views more  ENTCS 2007»
15 years 7 months ago
Nominal Reasoning Techniques in Coq: (Extended Abstract)
d Abstract) Brian Aydemir Aaron Bohannon Stephanie Weirich Department of Computer and Information Science University of Pennsylvania Philadelphia, PA, USA We explore an axiomatize...
Brian E. Aydemir, Aaron Bohannon, Stephanie Weiric...
EOR
2007
78views more  EOR 2007»
15 years 7 months ago
A heuristic for the three-dimensional strip packing problem
The contribution presents a heuristic for the three-dimensional strip packing problem (3D-SPP) with rectangular pieces (boxes). The considered 3D-SPP can be formulated as follows:...
Andreas Bortfeldt, Daniel Mack
PRL
2006
87views more  PRL 2006»
15 years 7 months ago
Applying 3D human model in a posture recognition system
This paper proposes an approach to recognise human postures in video sequences, which combines a 2D approach with a 3D human model. The 3D model is a realistic articulated human m...
Bernard Boulay, François Brémond, Mo...
RAS
2006
91views more  RAS 2006»
15 years 7 months ago
Visual navigation and obstacle avoidance using a steering potential function
Humans have a remarkable ability to navigate using only vision, but mobile robots have not been nearly as successful. We propose a new approach to vision-guided local navigation, ...
Wesley H. Huang, Brett R. Fajen, Jonathan R. Fink,...