2152 search results - page 222 / 431 » On Automating the Calculus of Relations |
157
click to vote
VL
2007
IEEE
16 years 23 days ago
2007
IEEE
Web macros automate the interactions of end users with web sites and related information systems. Though web macro recorders and players have grown in sophistication over the past...
177
click to vote
ATAL
2007
Springer
16 years 20 days ago
2007
Springer
We present a novel approach to knowledge-based automated oneshot multi-issue bilateral negotiation handling, in a homogeneous setting, both numerical features and non-numerical on...
167
click to vote
SARA
2007
Springer
16 years 18 days ago
2007
Springer
Relational databases have had great industrial success in computer science. The power of the paradigm is made clear both by its widespread adoption and by theoretical analysis. Tod...
169
click to vote
EVOW
2005
Springer
16 years 13 hour ago
2005
Springer
Abstract. In domains such as music and visual art, where the quality of an individual often depends on subjective or hard to express concepts, the automating fitness assignment bec...
167
click to vote
LPAR
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. The main goal of this paper is to apply rewriting termination technology —enjoying a quite mature set of termination results and tools— to the problem of proving auto...