Sciweavers

8016 search results - page 1229 / 1604
» On the practical genetic algorithms
Sort
View
175
Voted
CASC
2005
Springer
113views Mathematics» more  CASC 2005»
16 years 8 days ago
Real Solving of Bivariate Polynomial Systems
Abstract. We propose exact, complete and efficient methods for 2 problems: First, the real solving of systems of two bivariate rational polynomials of arbitrary degree. This means ...
Ioannis Z. Emiris, Elias P. Tsigaridas
GD
2005
Springer
16 years 7 days ago
C-Planarity of Extrovert Clustered Graphs
A clustered graph has its vertices grouped into clusters in a hierarchical way via subset inclusion, thereby imposing a tree structure on the clustering relationship. The c-planari...
Michael T. Goodrich, George S. Lueker, Jonathan Z....
ISMIR
2005
Springer
155views Music» more  ISMIR 2005»
16 years 7 days ago
Collecting Ground Truth Annotations for Drum Detection in Polyphonic Music
In order to train and test algorithms that can automatically detect drum events in polyphonic music, ground truth data is needed. This paper describes a setup used for gathering m...
Koen Tanghe, Micheline Lesaffre, Sven Degroeve, Ma...
KNINVI
2005
Springer
16 years 7 days ago
Concept Maps: Integrating Knowledge and Information Visualization
Information visualization has been a research topic for many years, leading to a mature field where guidelines and practices are well established. Knowledge visualization, in contr...
Alberto J. Cañas, Roger Carff, Greg Hill, M...
TACAS
2005
Springer
155views Algorithms» more  TACAS 2005»
16 years 6 days ago
Context-Bounded Model Checking of Concurrent Software
The interaction among concurrently executing threads of a program results in insidious programming errors that are difficult to reproduce and fix. Unfortunately, the problem of ve...
Shaz Qadeer, Jakob Rehof
« Prev « First page 1229 / 1604 Last » Next »