4421 search results - page 674 / 885 » Libraries |
113
Voted
FROCOS
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. Nowadays, formal methods rely on tools of different kinds: proof assistants with which the user interacts to discover a proof step by step; and fully automated tools whic...
148
Voted
VRML
2010
ACM
15 years 5 months ago
2010
ACM
This work presents a technical solution for the creation of visualization schemes for biological data on the web platform. The proposed technology tries to overcome the standard a...
109
Voted
GROUP
2007
ACM
15 years 5 months ago
2007
ACM
To improve existing social bookmarking systems and to design new ones, researchers and practitioners need to understand how to evaluate tagging behavior. In this paper, we analyze...
HT
2007
ACM
15 years 5 months ago
2007
ACM
We present a study of the degree to which annotations overlap when several researchers read the same set of scientific articles. Our objective is to determine whether there is suf...
114
click to vote
ICDAR
2007
IEEE
15 years 5 months ago
2007
IEEE
As ancient documents are being digitized, systems for retrieving documents or images can now be found in Digital Libraries. With regard to illustrations, the content-based image r...