2231 search results - page 436 / 447 » Alternation as a programming paradigm |
145
click to vote
ISSTA
2010
ACM
15 years 7 months ago
2010
ACM
Recently, there has been much interest in developing analyzes to detect concurrency bugs that arise because of data races, atomicity violations, execution omission, etc. However, ...
131
click to vote
IDMS
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. In this paper, we propose static and dynamic server selection techniques for multicast receivers who receive multiple streams from replicated servers. In the proposed sta...
144
click to vote
EVOW
2010
Springer
15 years 7 months ago
2010
Springer
Recognizing arbitrary objects in images or video sequences is a difficult task for a computer vision system. We work towards automated learning of object detectors from video seque...
138
click to vote
AAAI
2010
15 years 5 months ago
2010
We consider approval voting elections in which each voter votes for a (possibly empty) set of candidates and the outcome consists of a set of k candidates for some parameter k, e....
128
click to vote
BIOCOMP
2007
15 years 5 months ago
2007
Background: Natural antisense transcripts (NATs) are coding or non-coding RNAs with sequence complementarity to other transcripts (sense transcripts). These RNAs could potentially...