Sciweavers

4743 search results - page 161 / 949
» The PlusCal Algorithm Language
Sort
View
109
Voted
CP
2004
Springer
15 years 8 months ago
Improved Algorithms for the Global Cardinality Constraint
Abstract. We study the global cardinality constraint (gcc) and pro
Claude-Guy Quimper, Alejandro López-Ortiz, ...
100
Voted
IJCNLP
2005
Springer
15 years 8 months ago
Analysis of an Iterative Algorithm for Term-Based Ontology Alignment
Abstract. This paper analyzes the results of automatic concept alignment between two ontologies. We use an iterative algorithm to perform concept alignment. The algorithm uses the ...
Shisanu Tongchim, Canasai Kruengkrai, Virach Sornl...
112
Voted
IJCNLP
2005
Springer
15 years 8 months ago
A Rule Based Syllabification Algorithm for Sinhala
This paper presents a study of Sinhala syllable structure and an algorithm for identifying syllables in Sinhala words. After a thorough study of the Syllable structure and linguis...
Ruvan Weerasinghe, Asanka Wasala, Kumudu Gamage
ESOP
2009
Springer
15 years 9 months ago
Minimization Algorithm for Symbolic Bisimilarity
The operational semantics of interactive systems is usually d by labeled transition systems. Abstract semantics is defined in terms of bisimilarity that, in the finite case, can ...
Filippo Bonchi, Ugo Montanari
84
Voted
VL
2005
IEEE
103views Visual Languages» more  VL 2005»
15 years 8 months ago
EAVis: A Visualization Tool for Evolutionary Algorithms
Evolutionary algorithms (EAs) produce a vast amount of data by recurring processes, e.g., selection, recombination, or mutation, that work on populations of solutions for a speci...
Andreas Kerren, Thomas Egger