Search Sciweavers | Sciweavers

5314 search results - page 170 / 1063

» Hybrid Dynamic Programming

159

click to vote

CADE
1999
Springer

119views Logical Reasoning» more CADE 1999»

A dynamic programming approach to categorial deduction

15 years 10 months ago

Download www.loria.fr

We reduce the provability problem of any formula of the Lambek calculus to some context-free parsing problem. This reduction, which is based on non-commutative proof-net theory, al...

Philippe de Groote

claim paper

Read More »

128

click to vote

RECOMB
1998
Springer

93views Computational Biology» more RECOMB 1998»

Dynamic programming alignment accuracy

15 years 10 months ago

Download biowiki.org

Ian Holmes, Richard Durbin

claim paper

Read More »

132

click to vote

IEEEPACT
1997
IEEE

66views Distributed And Parallel Com...» more IEEEPACT 1997»

MDL: A Language and Compiler for Dynamic Program Instrumentation

15 years 10 months ago

Download www.cs.umd.edu

Jeffrey K. Hollingsworth, Barton P. Miller, M. J. ...

claim paper

Read More »

148

click to vote

ICLP
1997
Springer

70views Automated Reasoning» more ICLP 1997»

Optimization of Logic Programs with Dynamic Scheduling

15 years 10 months ago

Download clip.dia.fi.upm.es

Germán Puebla, Maria J. García de la...

claim paper

Read More »

136

click to vote

HPDC
1994
IEEE

129views Distributed And Parallel Com...» more HPDC 1994»

Automatic Generation of Parallel Programs with Dynamic Load Balancing

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers