Sciweavers

10622 search results - page 330 / 2125

» Python Programming Language

268

ICLP
2009
Springer

100views Automated Reasoning» more ICLP 2009»

Logic-Statistic Models with Constraints for Biological Sequence Analysis

16 years 7 months ago

Logic-Statistic Models with Constraints for Biological Sequence Analysis

Download akira.ruc.dk

Christian Theil Have

claim paper

Read More »

262

ICLP
2009
Springer

134views Automated Reasoning» more ICLP 2009»

A Knowledge Base System Project for FO(.)

16 years 7 months ago

A Knowledge Base System Project for FO(.)

Download www.cs.kuleuven.ac.be

Marc Denecker

claim paper

Read More »

288

ICLP
2009
Springer

122views Automated Reasoning» more ICLP 2009»

Optimizing Compilation and Computational Complexity of Constraint Handling Rules

16 years 7 months ago

Optimizing Compilation and Computational Complexity of Constraint Handling Rules

Download www.cs.kuleuven.be

Jon Sneyers

claim paper

Read More »

146

CC
2009
Springer

109views System Software» more CC 2009»

Precise Management of Scratchpad Memories for Localising Array Accesses in Scientific Codes

16 years 1 months ago

Precise Management of Scratchpad Memories for Localising Array Accesses in Scientific Codes

Download www.infosun.fim.uni-passau.de

Armin Größlinger

claim paper

Read More »

122

Voted

ICALP
2009
Springer

127views Programming Languages» more ICALP 2009»

Competitive Analysis of Aggregate Max in Windowed Streaming

16 years 1 months ago

Competitive Analysis of Aggregate Max in Windowed Streaming

Download cgi.di.uoa.gr

Luca Becchetti, Elias Koutsoupias

claim paper

Read More »

« Prev « First page 330 / 2125 Last » Next »