430 search results - page 68 / 86 » Statistical Certification of Software Systems |
108
click to vote
TCBB
2010
14 years 4 months ago
2010
This paper integrates the signal, context and structure features for genome-wide promoter recognition, which is critical in many DNA sequence analysis tasks. First, CpG islands ar...
ICDE
2011
IEEE
14 years 1 months ago
2011
IEEE
— Enterprise database systems handle a variety of diverse query workloads that are of different importance to the business. For example, periodic reporting queries are usually mi...
SIGIR
2006
ACM
15 years 3 months ago
2006
ACM
Modern distributed information retrieval techniques require accurate knowledge of collection size. In non-cooperative environments, where detailed collection statistics are not av...
126
click to vote
VISUALIZATION
2005
IEEE
15 years 3 months ago
2005
IEEE
In this work we present a hardware-accelerated direct volume rendering system for visualizing multivariate wave functions in semiconducting quantum dot (QD) simulations. The simul...
77
Voted
ICRA
2003
IEEE
15 years 2 months ago
2003
IEEE
This paper presents the genesis of RoboX. This tour guide robot has been built from the scratch based on the experience of the Autonomous Systems Lab. The production of 11 of thos...