3338 search results - page 263 / 668 » Assigning Papers to Referees |
201
click to vote
RTSS
2005
IEEE
16 years 7 days ago
2005
IEEE
This paper presents a local algorithm for solving the universal parametric real-time model-checking problem. The problem may be phrased as follows: given a real-time system and te...
183
click to vote
SCCC
2005
IEEE
16 years 7 days ago
2005
IEEE
— Fuzzy clustering methods have been widely used in many applications. These methods, including fuzzy k-means and Expectation Maximization, allow an object to be assigned to mult...
167
click to vote
WCRE
2005
IEEE
16 years 7 days ago
2005
IEEE
Software clustering algorithms presented in the literature rarely incorporate in the clustering process dynamic information, such as the number of function invocations during runt...
168
click to vote
ITICSE
2005
ACM
16 years 6 days ago
2005
ACM
Closed laboratories are becoming an increasingly popular approach to teaching introductory computer science courses. However, as observed in [1], “Considering the prevalence of ...
153
click to vote
MSR
2005
ACM
16 years 6 days ago
2005
ACM
Over 200 CVS repositories representing the assignments of students in a second year undergraduate computer science course have been assembled. This unique data set represents many...