14078 search results - page 412 / 2816 » Design and Analysis of Computer Algorithms |
155
click to vote
DAC
2007
ACM
16 years 7 months ago
2007
ACM
Satisfiability (SAT) solvers often benefit from a preprocessing of the formula to be decided. For formulae in conjunctive normal form (CNF), subsumed clauses may be removed or par...
229
Voted
MIR
2003
ACM
16 years 2 days ago
2003
ACM
Sign board detection is important for such computer vision applications as video surveillance and content based visual information retrieval. Previous researches on this topic foc...
166
click to vote
DIGRA
2003
Springer
16 years 1 days ago
2003
Springer
We present a model to support the design, analysis, and comparison of games through the use of game design patterns, descriptions of reoccurring interaction relevant to game play....
205
click to vote
BIRTHDAY
2007
Springer
15 years 10 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...
174
click to vote
RECOMB
2000
Springer
15 years 10 months ago
2000
Springer
Custom-designed DNA arrays offer the possibility of simultaneously monitoring thousands of hybridization reactions. These arrays show great potential for many medical and scientif...