855 search results - page 30 / 171 » Complexity of Equations over Sets of Natural Numbers |
CSB
2005
IEEE
2005
IEEE
BioNavigation: Using Ontologies to Express Meaningful Navigational Queries Over Biological Resources
15 years 3 months ago
Exploiting the complex maze of publicly available Biological resources to implement scientific data collection pipelines poses a multitude of challenges to biologists in accurate...
STACS
2009
Springer
15 years 4 months ago
2009
Springer
Motivated by the quantum algorithm for testing commutativity of black-box groups (Magniez and Nayak, 2007), we study the following problem: Given a black-box finite ring by an add...
ENTCS
2006
14 years 9 months ago
2006
We describe an automatic complexity analysis mechanism for programs extracted from proofs carried out with the proof assistant Coq. By extraction, we mean the automatic generation...
ML
2002
ACM
14 years 9 months ago
2002
ACM
Additive clustering was originally developed within cognitive psychology to enable the development of featural models of human mental representation. The representational flexibili...
MST
2010
14 years 8 months ago
2010
We study a family of problems, called Maximum Solution (Max Sol), where the objective is to maximise a linear goal function over the feasible integer assignments to a set of variab...