1882 search results - page 326 / 377 » Transformational Programming and Forests |
121
Voted
DM
2006
15 years 19 days ago
2006
A computer package is being developed at Bayreuth for the generation and investigation of discrete structures. The package is a C and C++ class library of powerful algorithms endow...
133
click to vote
BMCBI
2007
15 years 19 days ago
2007
Background: Protein structural data has increased exponentially, such that fast and accurate tools are necessary to access structure similarity search. To improve the search speed...
122
click to vote
JAIR
2007
15 years 16 days ago
2007
Exact Max-SAT solvers, compared with SAT solvers, apply little inference at each node of the proof tree. Commonly used SAT inference rules like unit propagation produce a simpliï¬...
112
Voted
ETS
2000
IEEE
15 years 13 days ago
2000
IEEE
Academic staff development in the pedagogical applications of new technologies is fundamental to the transformation of teaching and learning in tertiary education settings. We pre...
179
Voted
ENTCS
2002
15 years 13 days ago
2002
The paper presents approaches to the validation of optimizing compilers. The emphasis is on aggressive and architecture-targeted optimizations which try to obtain the highest perf...