7978 search results - page 713 / 1596 » Combining shared-coin algorithms |
203
click to vote
GECCO
2007
Springer
15 years 11 months ago
2007
Springer
While support vector machines (SVMs) have shown great promise in supervised classification problems, researchers have had to rely on expert domain knowledge when choosing the SVM&...
217
click to vote
CAV
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. CirCUs is a satisfiability solver that works on a combination of AndInverter-Graph, CNF clauses, and BDDs. It has been designed to work well with bounded model checking. ...
195
click to vote
CGI
2004
IEEE
15 years 11 months ago
2004
IEEE
We present a hair model together with rendering algorithms suitable for real-time rendering. In our approach, we take into account the major lighting factors contributing to a rea...
162
click to vote
CGI
2004
IEEE
15 years 11 months ago
2004
IEEE
We present ByzantineCAD, a feature-based parametric CAD system for designing pierced Byzantine jewellery. ByzantineCAD is an automated system where jewellery is designed according...
154
click to vote
ASIAN
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. In a process calculus, an agent guarantees responsive usage of a channel name r if a communication along r is guaranteed to eventually take place. Responsiveness is impor...