Search Sciweavers | Sciweavers

10304 search results - page 72 / 2061

» Computer science with the sciences: an emphasis in computati...

116

click to vote

SOFSEM
2010
Springer

323views Theoretical Computer Science» more SOFSEM 2010»

Ant-CSP: An Ant Colony Optimization Algorithm for the Closest String Problem

15 years 10 months ago

Download www.sofsem.cz

Simone Faro, Elisa Pappalardo

claim paper

Read More »

click to vote

SOFSEM
2010
Springer

259views Theoretical Computer Science» more SOFSEM 2010»

A Complete Symbolic Bisimulation for Full Applied Pi Calculus

15 years 10 months ago

Download www.sofsem.cz

Jia Liu, Huimin Lin

claim paper

Read More »

click to vote

SOFSEM
2010
Springer

144views Theoretical Computer Science» more SOFSEM 2010»

Homophily of Neighborhood in Graph Relational Classifier

15 years 10 months ago

Download www.sofsem.cz

Peter Vojtek, Mária Bieliková

claim paper

Read More »

click to vote

SOFSEM
2010
Springer

105views Theoretical Computer Science» more SOFSEM 2010»

Symbolic OBDD-Based Reachability Analysis Needs Exponential Space

15 years 10 months ago

Download www.sofsem.cz

Beate Bollig

claim paper

Read More »

click to vote

SOFSEM
2010
Springer

115views Theoretical Computer Science» more SOFSEM 2010»

Taming the Complexity of Inductive Logic Programming

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers