4341 search results - page 748 / 869 » Quantitative Model checking |
158
Voted
BMCBI
2005
15 years 6 months ago
2005
Background: As the use of microarray technology becomes more prevalent it is not unusual to find several laboratories employing the same microarray technology to identify genes re...
221
Voted
CGF
2010
15 years 4 months ago
2010
The human shoulder complex is perhaps the most complicated joint in the human body being comprised of a set of three bones, muscles, tendons, and ligaments. Despite this anatomica...
194
click to vote
HCI
2009
15 years 3 months ago
2009
The design of safety critical systems calls for advanced software engineering models, methods and tools in order to meet the safety requirements that will avoid putting human life ...
212
click to vote
ICCV
2009
IEEE
15 years 3 months ago
2009
IEEE
We describe a solution to the challenging problem of estimating human body shape from a single photograph or painting. Our approach computes shape and pose parameters of a 3D huma...
162
click to vote
TITB
2010
15 years 26 days ago
2010
Discovering unknown adverse drug reactions (ADRs) in postmarketing surveillance as early as possible is of great importance. The current approach to postmarketing surveillance prim...