220 search results - page 33 / 44 » Metamorphic Testing and Beyond |
131
Voted
NIPS
2001
15 years 4 months ago
2001
If the promise of computational modeling is to be fully realized in higherlevel cognitive domains such as language processing, principled methods must be developed to construct th...
104
Voted
IADIS
2003
15 years 4 months ago
2003
With the advent and growth of the Web, hypermedia information systems have propagated within and beyond organizations. Much concern has been expressed about the quality of hyperme...
111
Voted
UAI
2004
15 years 4 months ago
2004
Maximum a Posteriori assignment (MAP) is the problem of finding the most probable instantiation of a set of variables given the partial evidence on the other variables in a Bayesi...
107
Voted
AAAI
2000
15 years 4 months ago
2000
The random k-SAT model is extensively used to compare satisfiability algorithms or to find the best settings for the parameters of some algorithm. Conclusions are derived from the...
117
Voted
EUROPAR
2010
Springer
15 years 3 months ago
2010
Springer
This work presents an application case study. Geant4 is a 750,000 line toolkit first designed in the mid-1990s and originally intended only for sequential computation. Intel's...