Sciweavers

9997 search results - page 400 / 2000
» The case for crowd computing
Sort
View
199
Voted
GECCO
2005
Springer
159views Optimization» more  GECCO 2005»
16 years 9 days ago
Using evolutionary algorithms for the unit testing of object-oriented software
As the paradigm of object orientation becomes more and more important for modern IT development projects, the demand for an automated test case generation to dynamically test obje...
Stefan Wappler, Frank Lammermann
ICPR
2002
IEEE
16 years 7 months ago
Pose Estimation for Central Catadioptric Systems: An Analytical Approach
The number of applications for central catadioptric systems, often called central panoramic systems, are increasing. Among these are surveillance systems, commercial systems for w...
António Paulino, Helder Araújo
ISPDC
2005
IEEE
16 years 11 days ago
Parallel Jess
Distributed or parallel rule-based systems are currently needed for real applications. The proposed architecture of such a system is based on a wrapper allowing the cooperation bet...
Dana Petcu
MFCS
1997
Springer
15 years 11 months ago
When are Two Rewrite Systems More than None?
It is important for programs to have modular correctness properties. We look at non-deterministic programs expressed as termrewriting systems which compute normal forms of input t...
Nachum Dershowitz
CSR
2007
Springer
15 years 10 months ago
On Empirical Meaning of Randomness with Respect to a Real Parameter
We study the empirical meaning of randomness with respect to a family of probability distributions P, where is a real parameter, using algorithmic randomness theory. In the case w...
Vladimir V. V'yugin