FOCS
2005
IEEE
14 years 6 months ago
2005
IEEE
At the core of the seminal Graph Minor Theory of Robertson and Seymour is a powerful structural theorem capturing the structure of graphs excluding a fixed minor. This result is ...
RTA
2009
Springer
14 years 7 months ago
2009
Springer
Abstract. Interaction nets are a graphical formalism inspired by Linear Logic proof-nets often used for studying higher order rewriting e.g. β-reduction. Traditional presentations...
TEI
2009
ACM
14 years 7 months ago
2009
ACM
Graphs are a versatile representation of many systems in computer science, the social sciences, and mathematics, but graph theory is not taught in schools. We present our work on ...
SAC
2010
ACM
14 years 7 months ago
2010
ACM
This article addresses the problem of efficient multi-robot patrolling in a known environment. The proposed approach assigns regions to each mobile agent. Every region is represen...
0
posts
with
0
views
0
views
Graduated in Information Science in 2007 from GIT-Belgaum (India). Worked on Graph Theory (Matching Algorithm), Ad-Hoc Network algorithms and Ant Colony Optimization (Swarm Intelli...
0
posts
with
0
views
0
views
Homepage 