16725 search results - page 2841 / 3345 » Engineering Software Correctness |
222
click to vote
ENTCS
2010
15 years 4 months ago
2010
The zipper is a well known design pattern for providing a cursor-like interface to a data structure. However, the classic treatise by Huet only scratches the surface of some of it...
215
click to vote
ENTCS
2010
15 years 4 months ago
2010
We describe a true-concurrent approach for managing dependencies between distributed and concurrent coordinator components of a long-running transaction. In previous work we have ...
155
Voted
ESWA
2010
15 years 4 months ago
2010
1 In this study, a novel robust clustering algorithm, robust interval competitive agglomeration (RICA) clustering algorithm, is proposed to overcome the problems of the outliers, t...
201
click to vote
AROBOTS
2010
15 years 3 months ago
2010
Social learning in robotics has largely focused on imitation learning. Here we take a broader view and are interested in the multifaceted ways that a social partner can influence t...
166
click to vote
AMC
2010
15 years 1 months ago
2010
In an epidemiological model, time spent in one compartment is often modeled by a delay in the model. In general the presence of delay in differential equations can change the stab...