3688 search results - page 481 / 738 » Requirements of Phylogenetic Databases |
184
click to vote
AVBPA
2003
Springer
15 years 12 months ago
2003
Springer
Face recognition algorithms have to deal with significant amounts of illumination variations between gallery and probe images. State-of-the-art commercial face recognition algori...
144
click to vote
CAISE
2003
Springer
15 years 12 months ago
2003
Springer
Bioinformatics research groups require information systems keeping track of experiments and their results. However, current solutions are often ad-hoc, difficult to maintain, exten...
162
click to vote
CHARME
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. As of version 2.7, the ACL2 theorem prover has been extended to automatically verify sets of polynomial inequalities that include nonlinear relationships. In this paper w...
155
click to vote
DBPL
2003
Springer
15 years 12 months ago
2003
Springer
We introduce the Xdπ calculus, a peer-to-peer model for reasoning about dynamic web data. Web data is not just stored statically. Rather it is referenced indirectly, for example ...
179
click to vote
DEXA
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. Engineering design is a knowledge intensive activity. Design is characterized as comprising a number of phases from requirements to detailed specification. Transitions be...