2935 search results - page 545 / 587 » An Integrated Approach to High Integrity Software Verificati... |
121
Voted
PERCOM
2010
ACM
15 years 8 months ago
2010
ACM
—AutoGait is a mobile platform that autonomously discovers a user’s walking profile and accurately estimates the distance walked. The discovery is made by utilizing the GPS in...
131
Voted
CIA
2006
Springer
15 years 7 months ago
2006
Springer
Imagine a future environment where networks of agents - people, robots and software agents - interact with sophisticated sensor grids and environmental actuators to provide advice,...
120
click to vote
WSC
1998
15 years 5 months ago
1998
The design of a quality timetable for the Dutch Railways is a complex task, because of the characteristics of the railway services. The complexity of the network and the heavily i...
145
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: Chromatin immunoprecipitation combined with DNA microarrays (ChIP-chip) is an assay used for investigating DNA-protein-binding or post-translational chromatin/histone ...
139
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: With the rapidly falling cost and availability of high throughput sequencing and microarray technologies, the bottleneck for effectively using genomic analysis in the ...