608 search results - page 63 / 122 » Tests, Proofs and Refinements |
ISBRA
2009
Springer
14 years 2 months ago
2009
Springer
Identification of cis-regulatory motifs has long been a hotspot in the study of alternative splicing. We propose a two-step approach: we first identify k-mer seed motifs by testing...
EGOV
2009
Springer
14 years 2 months ago
2009
Springer
A critical element in the evolution of e-governmental services is the development of sites that better serve the citizens’ needs. To deliver superior service quality, we must fir...
ER
2007
Springer
14 years 2 months ago
2007
Springer
A key goal in safety-critical system development is to provide assurance that the critical requirements are sufficiently addressed. This goal is typically refined into three sub-go...
ICN
2007
Springer
14 years 2 months ago
2007
Springer
Current market research indicates high future demand for broadcast services such as Mobile TV. While underlying competing bearer technologies are being extensively tested and refi...
SSDBM
2006
IEEE
14 years 1 months ago
2006
IEEE
Biological web data sources have now become essential information sources for researchers. However, their use is tedious, labor-intensive, repetitive, and possibly involve the int...