5630 search results - page 186 / 1126 » Computability in Specification |
150
click to vote
JAIR
2008
15 years 4 months ago
2008
Although recent years have seen a surge of interest in the computational aspects of social choice, no specific attention has previously been devoted to elections with multiple win...
127
Voted
BMCBI
2008
15 years 4 months ago
2008
Background: We present a methodology for high-throughput design of oligonucleotide fingerprints for microarray-based pathogen diagnostic assays. The oligonucleotide fingerprints, ...
136
click to vote
DSOM
2006
Springer
15 years 8 months ago
2006
Springer
This paper describes an approach for application specific conflict prevention based on model-driven refinement of policies prior to deployment. Central to the approach is an algori...
153
click to vote
BIRTHDAY
2007
Springer
15 years 8 months ago
2007
Springer
We present a verification methodology for cooperating traffic agents covering analysis of cooperation strategies, realization of strategies through control, and implementation of c...
145
Voted
ECCV
2010
Springer
15 years 9 months ago
2010
Springer
We propose a novel approach to increase the robustness of object detection algorithms in surveillance scenarios. The cascaded confidence filter successively incorporates constraint...