2482 search results - page 363 / 497 » Analysis and Presentation of Results for Mobile Local Search |
194
click to vote
ENTCS
2007
15 years 6 months ago
2007
Abstract. Model-based testing has been proposed as a technique to automatically verify that a system conforms to its specification. A popular approach is to use a model-checker to...
147
click to vote
CSB
2005
IEEE
16 years 2 days ago
2005
IEEE
A major challenge for genomewide disease association studies is the high cost of genotyping large number of single nucleotide polymorphisms (SNP). The correlations between SNPs, h...
267
click to vote
AI
2003
Springer
15 years 11 months ago
2003
Springer
The prediction of a protein’s structure from its amino-acid sequence is one of the most important problems in computational biology. In the current focus on a widely studied abst...
191
click to vote
WWW
2003
ACM
16 years 7 months ago
2003
ACM
This paper describes a novel approach for obtaining semantic interoperability among data sources in a bottom-up, semiautomatic manner without relying on pre-existing, global seman...
178
click to vote
ICC
2009
IEEE
16 years 1 months ago
2009
IEEE
—The DVB-H standard has been defined to provide digital video broadcast to mobile handheld devices. However, without a request channel, a handheld device may encounter data loss...