4880 search results - page 757 / 976 » Mechanism Design by Creditability |
183
click to vote
LICS
1994
IEEE
15 years 10 months ago
1994
IEEE
The theory of cut-free sequent proofs has been used to motivate and justify the design of a number of logic programming languages. Two such languages, Prolog and its linear logic ...
159
click to vote
ECOOP
1994
Springer
15 years 10 months ago
1994
Springer
Real-time programs are, in general, difficult to design and verify. The inheritance mechanism can be useful in reusing well-defined and verified real-time programs. In application...
176
click to vote
POS
1994
Springer
15 years 10 months ago
1994
Springer
The differing requirements for concurrency models in programming languages and databases are widely diverse and often seemingly incompatible. The rigid provision of a particular c...
236
click to vote
UIST
1992
ACM
15 years 10 months ago
1992
ACM
Distributed clientisewer models are becoming increasingly prevalent in multimedia systems and advanced user interface design. A multimedia application, for example, may play and r...
195
click to vote
AIRS
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. This paper presents an interactive content-based image retrieval framework--uInteract, for delivering a novel four-factor user interaction model visually. The four-factor...