887 search results - page 81 / 178 » A Science of Reasoning |
RTA
2005
Springer
14 years 2 months ago
2005
Springer
Many applications of congruence closure nowadays require the ability of recovering, among the thousands of input equations, the small subset that caused the equivalence of a given ...
STACS
2005
Springer
14 years 2 months ago
2005
Springer
We provide a deterministic algorithm that constructs small point sets exhibiting a low star discrepancy. The algorithm is based on recent results on randomized roundings respectin...
ACMSE
2004
ACM
14 years 2 months ago
2004
ACM
Usability has often been sold as the silver bullet for solving the problems of unprofitable online stores. Although better usability will generally improve these sites and their p...
PDC
2004
ACM
14 years 2 months ago
2004
ACM
The aim of Participatory Design (PD) is to involve the users in the design. Even though the research has shown the success of PD projects in empowering users, little has been said...
GI
2004
Springer
14 years 2 months ago
2004
Springer
: An interesting phenomenon in the open source software (OSS) market is the evolution of intermediaries, which provide services to the OSS community. A problem of this business mod...