Sciweavers

1596 search results - page 157 / 320
» Quantum property testing
Sort
View
TEC
2002
183views more  TEC 2002»
15 years 5 months ago
The particle swarm - explosion, stability, and convergence in a multidimensional complex space
Abstract--The particle swarm is an algorithm for finding optimal regions of complex search spaces through the interaction of individuals in a population of particles. Even though t...
Maurice Clerc, James Kennedy
IEEECIT
2010
IEEE
15 years 4 months ago
The Strategy of Advancing Mobile Web Application's Layout and Drawing
As the time of mobile Internet has come gently, the mobile applications has progressively designed by techniques based on web technology. The web technology has a lot of strong po...
Liankui Qiu, Panlong He, Lei Luo
RV
2010
Springer
122views Hardware» more  RV 2010»
15 years 4 months ago
Clara: A Framework for Partially Evaluating Finite-State Runtime Monitors Ahead of Time
Researchers have developed a number of runtime verification tools that generate runtime monitors in the form of AspectJ aspects. In this work, we present Clara, a novel framework ...
Eric Bodden, Patrick Lam, Laurie J. Hendren
SOCIALCOM
2010
15 years 4 months ago
On the Navigability of Social Tagging Systems
It is a widely held belief among designers of social tagging systems that tag clouds represent a useful tool for navigation. This is evident in, for example, the increasing number ...
Denis Helic, Christoph Trattner, Markus Strohmaier...
DAGM
2009
Springer
15 years 4 months ago
Increasing the Dimension of Creativity in Rotation Invariant Feature Design Using 3D Tensorial Harmonics
Spherical harmonics are widely used in 3D image processing due to their compactness and rotation properties. For example, it is quite easy to obtain rotation invariance by taking t...
Henrik Skibbe, Marco Reisert, Olaf Ronneberger, Ha...