Sciweavers

4561 search results - page 571 / 913
» Value and the information market
Sort
View
CG
2006
Springer
15 years 10 months ago
A Skat Player Based on Monte-Carlo Simulation
We apply Monte Carlo simulation and alpha-beta search to the card game of Skat, which is similar to Bridge, but different enough to require some new algorithmic ideas besides the t...
Sebastian Kupferschmid, Malte Helmert
FATES
2004
Springer
15 years 10 months ago
Test Generation Based on Symbolic Specifications
Abstract. Classical state-oriented testing approaches are based on simple machine models such as Labelled Transition Systems (LTSs), in which data is represented by concrete values...
Lars Frantzen, Jan Tretmans, Tim A. C. Willemse
ECOWS
2006
Springer
15 years 10 months ago
On the Evaluation of Semantic Web Service Matchmaking Systems
Semantic Web Services are generally considered as the evolution of conventional Web Services. Semantic information included in the service descriptions enables the development of ...
Vassileios Tsetsos, Christos Anagnostopoulos, Stat...
ERCIMDL
2006
Springer
113views Education» more  ERCIMDL 2006»
15 years 10 months ago
Large-Scale Impact of Digital Library Services: Findings from a Major Evaluation of SCRAN
Abstract. This paper reports on an evaluation carried out on behalf of the Scottish Library and Information Council (SLIC) of a Scottish Executive initiative to fund a year's ...
Gobinda G. Chowdhury, David McMenemy, Alan Poulter
AICCSA
2001
IEEE
131views Hardware» more  AICCSA 2001»
15 years 10 months ago
Constraint-Based Timetabling-A Case Study
This paper2 details the stages of building a substantial, carefully specified, fully tested and fully operational university and school timetabling system. This is reported as a c...
Abdulwahed M. Abbas, Edward P. K. Tsang