SOFSEM 2010 - PDF Preprint Papers

SOFSEM 2010 Seminar/Conference on Current Trends in Theory and Practice of Informatics

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed SOFSEM-2010 Paper

click to vote

SOFSEM
2010
Springer

206views Theoretical Computer Science» more SOFSEM 2010»

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

2 years 2 months ago

Download www.sofsem.cz

Simone Faro, Elisa Pappalardo

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status
1	206	Ant-CSP: An Ant Colony Optimization Algorithm for the Closest String Problem	claim
2	194	A Complete Symbolic Bisimulation for Full Applied Pi Calculus	claim
3	131	Dynamic Edit Distance Table under a General Weighted Cost Function	claim
4	99	On a Labeled Vehicle Routing Problem	claim
5	98	An Amortized Search Tree Analysis for k-Leaf Spanning Tree	claim
6	98	Model-Driven Software Product Line Testing: An Integrated Approach	claim
7	96	Practically Applicable Formal Methods	claim
8	94	Automated Deadlock Detection in Synchronized Reentrant Multithreaded Call-Graphs	claim
9	92	A Linear Time Algorithm for Finding Three Edge-Disjoint Paths in Eulerian Networks	claim
10	90	OTwig: An Optimised Twig Pattern Matching Approach for XML Databases	claim
11	87	Homophily of Neighborhood in Graph Relational Classifier	claim
12	86	A Kernel for Convex Recoloring of Weighted Forests	claim
13	85	Smooth Optimal Decision Strategies for Static Team Optimization Problems and Their Approximations	claim
14	84	Approximability of Edge Matching Puzzles	claim
15	83	Maintaining XML Data Integrity in Programs	claim
16	82	Flavors of KWQL, a Keyword Query Language for a Semantic Wiki	claim
17	81	The Web of Things: Extending the Web into the Real World	claim
18	78	Efficient Testing of Equivalence of Words in a Free Idempotent Semigroup	claim
19	77	Lessons in Software Evolution Learned by Listening to Smalltalk	claim
20	76	Comparison of Scoring and Order Approach in Description Logic EL(D)	claim
21	76	Optimum Broadcasting in Complete Weighted-Vertex Graphs	claim
22	76	Approximate Structural Consistency	claim
23	75	Linear Complementarity Algorithms for Infinite Games	claim
24	73	CD-Systems of Restarting Automata Governed by Explicit Enable and Disable Conditions	claim
25	73	Fast Arc-Annotated Subsequence Matching in Linear Space	claim
26	72	Algorithms for the Minimum Edge Cover of H-Subgraphs of a Graph	claim
27	72	Taming the Complexity of Inductive Logic Programming	claim
28	71	Clock Synchronization: Open Problems in Theory and Practice	claim
29	71	New Results on the Complexity of Oriented Colouring on Restricted Digraph Classes	claim
30	70	Source Code Rejuvenation Is Not Refactoring	claim
31	70	Research Issues in the Automated Testing of Ajax Applications	claim
32	70	Efficient Algorithms for Two Extensions of LPF Table: The Power of Suffix Arrays	claim
33	70	Finding and Certifying Loops	claim
34	69	Accelerating Smart Play-Out	claim
35	69	Student Groups Modeling by Integrating Cluster Representation and Association Rules Mining	claim
36	68	Picture Recognizability with Automata Based on Wang Tiles	claim
37	67	Symbolic OBDD-Based Reachability Analysis Needs Exponential Space	claim
38	66	A Social Vision of Knowledge Representation and Reasoning	claim
39	65	Parallel Randomized Load Balancing: A Lower Bound for a More General Model	claim
40	65	Regret Minimization and Job Scheduling	claim
41	62	Vertex Ranking with Capacity	claim
42	62	On Contracting Graphs to Fixed Pattern Graphs	claim
43	62	Improved Matrix Interpretation	claim
44	61	Unilateral Orientation of Mixed Graphs	claim
45	61	Mixing Coverability and Reachability to Analyze VASS with One Zero-Test	claim
46	61	How to Complete an Interactive Configuration Process?	claim
47	59	Continuous Processing of Preference Queries in Data Streams	claim
48	58	Web Science: The Digital-Heritage Case	claim
49	57	A Rule Format for Unit Elements	claim
50	55	On the Complexity of the Highway Pricing Problem	claim
51	49	Fast and Compact Prefix Codes	claim
52	38	Forcing Monotonicity in Parameterized Verification: From Multisets to Words	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers