12841 search results - page 333 / 2569 » PL-detective: experiences and results |
184
click to vote
IIE
2006
15 years 6 months ago
2006
Abstract. The use of Information and Communication Technology (ICT) in education is one important competence that student teacher should develop in their academic studies. To be ca...
138
click to vote
JCIT
2008
15 years 6 months ago
2008
In this paper, we describe a local safety knowledge sharing system among the community. Our system makes it possible to share detailed safety knowledge, which includes location an...
194
click to vote
MAGS
2008
15 years 6 months ago
2008
This paper reports on experiments in (human) multi-issue negotiation and their analysis, and presents a generic software environment supporting such an analysis. First, the paper p...
222
click to vote
FCSC
2007
15 years 6 months ago
2007
1 The techniques for image analysis and classi cation generally consider the image sample labels xed and without uncertainties. The rank regression problem is studied in this pape...
203
click to vote
SIGOPS
2008
15 years 6 months ago
2008
During the last three years, we have been experimenting with the use of the Uppaal model checker in an introductory course on operating systems for first-year Computer Science stu...