307 search results - page 30 / 62 » Towards Generic Refactoring |
155
Voted
FOCS
2004
IEEE
15 years 8 months ago
2004
IEEE
In this work we look back into the proof of the PCP Theorem, with the goal of finding new proofs that are "more combinatorial" and arguably simpler. For that we introduc...
145
click to vote
CSCW
2008
ACM
15 years 6 months ago
2008
ACM
In this paper we outline a typology, which will be useful for those engaged in the design and customization of information systems in healthcare. Drawing on ethnographic case stud...
125
Voted
ECTEL
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Educational researchers need to exchange and compare their learnerinteraction data in order to benefit the learning science community as a whole. In order to support this...
158
click to vote
WSC
2001
15 years 6 months ago
2001
This paper reports on continuing work that concerns research into the development of a commercial off the shelf (COTS) distributed simulation environment (federation) using the Ge...
155
Voted
ATAL
2009
Springer
15 years 6 months ago
2009
Springer
Abstract--Norm-enforcement models applied in human societies may serve as an inspiration for the design of multi-agent systems. Models for norm-enforcement in multi-agent systems o...