7366 search results - page 1352 / 1474 » Development of the Information Systems Implementation Resear... |
128
click to vote
ACL
2003
15 years 5 months ago
2003
We will demonstrate the latest version of an ongoing project to create an intelligent procedure assistant for use by astronauts on the International Space Station (ISS). The syste...
149
click to vote
SDM
2004
SIAM
15 years 5 months ago
2004
SIAM
Similarity search in database systems is becoming an increasingly important task in modern application domains such as multimedia, molecular biology, medical imaging, computer aid...
162
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: Mass spectrometry is an essential technique in proteomics both to identify the proteins of a biological sample and to compare proteomic profiles of different samples. ...
150
click to vote
VLUDS
2010
14 years 11 months ago
2010
In a manufacturing system (MS), a wide range of human activities are applied in production processes. The human factor plays a core role and should be incorporated into the design...
169
click to vote
ICFP
2012
ACM
13 years 6 months ago
2012
ACM
The higher-order logic found in proof assistants such as Coq and various HOL systems provides a convenient setting for the development and verification of pure functional program...