Sciweavers

2479 search results - page 210 / 496
» Quantum complexity theory
Sort
View
240
Voted
GECCO
2011
Springer
270views Optimization» more  GECCO 2011»
14 years 10 months ago
Geometric surrogate-based optimisation for permutation-based problems
In continuous optimisation, surrogate models (SMs) are used when tackling real-world problems whose candidate solutions are expensive to evaluate. In previous work, we showed that...
Alberto Moraglio, Yong-Hyuk Kim, Yourim Yoon
HICSS
2009
IEEE
184views Biometrics» more  HICSS 2009»
16 years 1 months ago
Why Mobile Payments Fail? Towards a Dynamic and Multi-Perspective Explanation
Despite optimistic expectations fast diffusion of mobile payments has not taken place after a decade of trials. Several explanations to this situation have been put forward using ...
Jan Ondrus, Kalle Lyytinen, Yves Pigneur
148
Voted
LATA
2009
Springer
16 years 1 months ago
Automata on Gauss Words
In this paper we investigate the computational complexity of knot theoretic problems and show upper and lower bounds for planarity problem of signed and unsigned knot diagrams repr...
Alexei Lisitsa, Igor Potapov, Rafiq Saleh
DATE
2009
IEEE
93views Hardware» more  DATE 2009»
16 years 1 months ago
Scalable liveness checking via property-preserving transformations
The ability of logic transformations to enhance safety property checking has been well-established, and many industrial-strength verification solutions accordingly rely ariety of...
Jason Baumgartner, Hari Mony
AIMS
2009
Springer
16 years 1 months ago
Knowledge Management and Promises
Ontological modelling for machine inference has featured prominently in IT management research recently, but there is more immediate scope for knowledge modelling in the realm of h...
Mark Burgess