Search Sciweavers | Sciweavers

11345 search results - page 140 / 2269

» Foundations of Computer Science

101

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 8 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 8 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 8 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 8 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 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers