Sciweavers

10715 search results - page 324 / 2143
» Proofs from Tests
Sort
View
SIMVIS
2007
15 years 8 months ago
Market Research Using a Virtual Test Store on Gaming Technology
We present the market research tool ShelfAware which implements a virtual test store of a grocery store using gaming technology available on PCs. The purpose of ShelfAware is to s...
Wolfgang Leister, Ingvar Tjøstheim, Joachim...
ALENEX
2001
151views Algorithms» more  ALENEX 2001»
15 years 8 months ago
The Asymmetric Traveling Salesman Problem: Algorithms, Instance Generators, and Tests
The purpose of this paper is to provide a preliminary report on the rst broad-based experimental comparison of modern heuristics for the asymmetric traveling salesmen problem ATSP....
Jill Cirasella, David S. Johnson, Lyle A. McGeoch,...
PDSE
1998
126views more  PDSE 1998»
15 years 8 months ago
Validation and Test Generation for Object-Oriented Distributed Software
The development of correct OO distributed software is a daunting task as soon as the distributed interactions are not trivial. This is due to the inherent complexity of distribute...
Thierry Jéron, Jean-Marc Jézé...
CORR
2008
Springer
135views Education» more  CORR 2008»
15 years 6 months ago
Conditional probability based significance tests for sequential patterns in multi-neuronal spike trains
URL for the abstract in place of http://abstract.citation (the square brackets will take care of linking). Remember that we decided to omit the journal details from the list in fav...
P. S. Sastry, K. P. Unnikrishnan
212
Voted
EC
2008
146views ECommerce» more  EC 2008»
15 years 6 months ago
Automated Discovery of Local Search Heuristics for Satisfiability Testing
The development of successful metaheuristic algorithms such as local search for a difficult problems such as satisfiability testing (SAT) is a challenging task. We investigate an ...
Alex S. Fukunaga