12981 search results - page 2515 / 2597 » Model Checking and Abstraction |
116
click to vote
BIBE
2007
IEEE
15 years 7 months ago
2007
IEEE
Abstract—Because of the advent of high-throughput sequencing and the consequent reduction in cost of sequencing, many organisms have been completely sequenced and most of their g...
108
click to vote
BIBE
2007
IEEE
15 years 7 months ago
2007
IEEE
Abstract—Recent improvements in high-throughput genotyping technology make possible genome-wide association studies and status prediction (classification) for common complex dis...
132
click to vote
HICSS
2007
IEEE
15 years 7 months ago
2007
IEEE
Clinical Practice Guidelines (CPG) are used by healthcare practitioners to standardize clinical practice and to provide evidence mediated health-care. Currently, there have been c...
123
click to vote
ICC
2007
IEEE
15 years 7 months ago
2007
IEEE
Abstract - Overlay multicast, which performs topology construction and data relaying in the application layer, has recently emerged as a promising vehicle for data distribution. In...
124
click to vote
ICCCN
2007
IEEE
15 years 7 months ago
2007
IEEE
Abstract— Packet delay and bandwidth are two important metrics for measuring quality of service (QoS) of Internet services. Traditionally, packet delay differentiation and fair b...