2152 search results - page 363 / 431 » On Automating the Calculus of Relations |
85
Voted
METRICS
2003
IEEE
15 years 5 months ago
2003
IEEE
Our study focuses on the effort needed for designing Web applications. The effort required for the design phase is an important part of the total development effort of a Web appli...
112
click to vote
TPHOL
2003
IEEE
15 years 5 months ago
2003
IEEE
This paper addresses the crucial issue in the design of a proof development system of how to deal with partial functions and the related question of how to treat undefined terms. ...
97
Voted
DOCENG
2003
ACM
15 years 5 months ago
2003
ACM
A number of applications that process XML documents interpret them as objects of application specific classes in a given domain. Generic interfaces such as SAX and DOM leave this ...
111
Voted
DOLAP
2003
ACM
15 years 5 months ago
2003
ACM
Data visualization is one of the big issues of database research. OLAP as a decision support technology is highly related to the developments of data visualization area. In this p...
110
click to vote
GROUP
2003
ACM
15 years 5 months ago
2003
ACM
Most current theories about collective cognitive activities in limited groups apply to structurally closed co-operative situations Here we propose to work in the framework of inte...