Sciweavers

4743 search results - page 161 / 949
» The PlusCal Algorithm Language
Sort
View
CP
2004
Springer
15 years 10 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, ...
IJCNLP
2005
Springer
15 years 10 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...
IJCNLP
2005
Springer
15 years 10 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 11 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
VL
2005
IEEE
103views Visual Languages» more  VL 2005»
15 years 10 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