2152 search results - page 357 / 431 » On Automating the Calculus of Relations |
83
Voted
HICSS
2005
IEEE
15 years 6 months ago
2005
IEEE
Understanding the use of diagrams and other components of scholarly systems-related papers may inform us about the papers, the field, and the way we think. We analyze 495 papers c...
109
Voted
ICDM
2005
IEEE
15 years 6 months ago
2005
IEEE
It is estimated that ninety percent of the world’s species have yet to be discovered and described. The main reason for the slow pace of new species description is that the scie...
105
Voted
TIME
2005
IEEE
15 years 6 months ago
2005
IEEE
Historical information can be effectively preserved using XML and searched through powerful historical queries written in XQuery. Indeed, by storing the successive versions of a d...
125
Voted
WSE
2005
IEEE
15 years 6 months ago
2005
IEEE
Many of existing criteria for evaluating web sites quality require methods such as heuristic evaluations, or/and empirical usability tests. This paper aims at defining a quality m...
88
Voted
APLAS
2005
ACM
15 years 6 months ago
2005
ACM
Affine size-change analysis has been used for termination analysis of eager functional programming languages. The same style of analysis is also capable of compactly recording and ...