1489 search results - page 122 / 298 » The First Bug Report |
146
click to vote
ANSS
1991
IEEE
15 years 7 months ago
1991
IEEE
This paper first summerizes and then presents a formal proof to a new conservative deadlock-free algorithm, YADDES [l], for asynchronous discrete event simulation. The proof not o...
131
click to vote
FLAIRS
2007
15 years 6 months ago
2007
This is the first paper on textual case-based reasoning to employ collective classification, a methodology for simultaneously classifying related cases that has consistently attai...
137
click to vote
EXACT
2008
15 years 6 months ago
2008
This paper describes a project aiming at enhancing social tagging with reasoning and explanations. So as to keep with the ease of use characteristic of social media, simple explana...
130
click to vote
WSC
2007
15 years 6 months ago
2007
This paper investigates the applicability of the CSPI reference models in different factory planning scenarios. These scenarios are taken from real industrial use cases. The CSPI ...
100
click to vote
CHI
2008
ACM
15 years 6 months ago
2008
ACM
This paper presents ongoing work towards development of a reporting tool that provides group work facilitators with insight into group work processes. The work includes three main...