Sciweavers

6438 search results - page 332 / 1288
» A Parameterised Search System
Sort
View
184
Voted
EUROCRYPT
2000
Springer
15 years 11 months ago
Efficient Algorithms for Solving Overdefined Systems of Multivariate Polynomial Equations
The security of many recently proposed cryptosystems is based on the difficulty of solving large systems of quadratic multivariate polynomial equations. This problem is NP-hard ove...
Nicolas Courtois, Alexander Klimov, Jacques Patari...
COLING
2010
15 years 2 months ago
COMUNICA - A Question Answering System for Brazilian Portuguese
COMUNICA is a voice QA system for Brazilian Portuguese with search capabilities for consulting both structured and unstructured datasets. One of the goals of this work is to help ...
Rodrigo Wilkens, Aline Villavicencio, Daniel Mulle...
AAAI
2000
15 years 9 months ago
DATALOG with Constraints - An Answer-Set Programming System
Answer-set programming (ASP) has emerged recently as a viable programming paradigm well attuned to search problems in AI, constraint satisfaction and combinatorics. Propositional ...
Deborah East, Miroslaw Truszczynski
208
Voted
ISMIR
2001
Springer
208views Music» more  ISMIR 2001»
16 years 1 days ago
The JRing System for Computer-Assisted Musicological Analysis
Among other factors, high complexity and mandatory expert computer knowledge make many music IR and music analysis systems unsuitable for the majority of largely computer-illitera...
Andreas Kornstädt
173
Voted
AUSAI
1997
Springer
15 years 11 months ago
Dominant and Recessive Genes in Evolutionary Systems Applied to Spatial Reasoning
Learning genetic representation has been shown to be a useful tool in evolutionary computation. It can reduce the time required to find solutions and it allows the search process ...
Thorsten Schnier, John S. Gero