3782 search results - page 254 / 757 » Engineering Social Order |
151
click to vote
IUI
2004
ACM
15 years 12 months ago
2004
ACM
The present study compares an adaptive simulated cellular-phone based recommender system to a non-adaptive one, in order to evaluate user preferences with respect to system adapti...
142
click to vote
KI
2004
Springer
15 years 12 months ago
2004
Springer
In this paper we present a new model of Java programs. We show how a program can be compiled into the model. The model can be directly used by a model-based diagnosis engine in ord...
163
click to vote
IWPC
2003
IEEE
15 years 12 months ago
2003
IEEE
1 : This paper describes a prototype tool that facilitates the process of understanding and managing multi-language program dependencies. More specifically, the software tool main...
142
click to vote
APSEC
2002
IEEE
15 years 11 months ago
2002
IEEE
Software development needs to be supported at both the organisational process level (programming-for-thelarge) and the detailed coding level (programming-for-thesmall). It is crit...
164
click to vote
FSTTCS
2001
Springer
15 years 11 months ago
2001
Springer
Given a binary relation IE ∪ IR on the set of ground terms e signature, we define an abstract rewrite closure for IE ∪ IR. act rewrite closure can be interpreted as a speciali...