1375 search results - page 27 / 275 » eg 2006 |
ENTCS
2006
13 years 8 months ago
2006
We present a system, called RZ, for automatic generation of program specifications from mathematical theories. We translate mathematical theories to specifications by computing th...
JPDC
2006
13 years 8 months ago
2006
Multiple sequence alignment (MSA) and phylogenetic tree reconstruction are one of the most important problems in the computational biology. While both these problems are of great ...
ECCV
2006
Springer
14 years 10 months ago
2006
Springer
Abstract. In recent years there has been growing interest in recognition models using local image features for applications ranging from long range motion matching to object class ...
GD
2006
Springer
13 years 11 months ago
2006
Springer
Graph drawing software are now commonly used. However, the choice of a well-adapted program may be hard for an inexperienced user. This poster presents a website (http://www.polyte...
CSREAPSC
2006
13 years 9 months ago
2006
- The use of a PDA with ad-hoc built-in information retrieval functionalities can help people in visiting an historical site in a natural manner instead of traditional audio/visual...