11784 search results - page 2165 / 2357 » Improving Software Process Improvement |
141
click to vote
ENTCS
2006
15 years 4 months ago
2006
This paper presents VyrdMC, a runtime verification tool we are building for concurrent software components. The correctness criterion checked by VyrdMC is refinement: Each executi...
157
click to vote
CE
2007
15 years 4 months ago
2007
Lifelike, interactive digital characters, serving as mentors and role-playing actors, have been shown to significantly improve learner motivation and retention. However, the cost...
152
click to vote
IJSI
2008
15 years 4 months ago
2008
Many data mining applications have a large amount of data but labeling data is often difficult, expensive, or time consuming, as it requires human experts for annotation. Semi-supe...
135
Voted
IJCV
2006
15 years 4 months ago
2006
Abstract. Over the past few years researchers have been investigating the enhancement of visual tracking performance by devising trackers that simultaneously make use of several di...
149
Voted
ISCA
2006
IEEE
15 years 4 months ago
2006
IEEE
Conventional relaxed memory ordering techniques follow a proactive model: at a synchronization point, a processor makes its own updates to memory available to other processors by ...