Sciweavers

1465 search results - page 155 / 293
» Making the Correct Mistakes
Sort
View
ISORC
2009
IEEE
16 years 1 months ago
Property Preservation and Composition with Guarantees: From ASSERT to CHESS
While the demand for high-integrity applications continues to rise, industrial developers seek cost effective development strategies that are capable of delivering the required gu...
Tullio Vardanega
ACG
2009
Springer
16 years 1 months ago
Evaluation Function Based Monte-Carlo LOA
Recently, Monte-Carlo Tree Search (MCTS) has advanced the field of computer Go substantially. In the game of Lines of Action (LOA), which has been dominated in the past by αβ, M...
Mark H. M. Winands, Yngvi Björnsson
AIED
2009
Springer
16 years 1 months ago
Belief Exploration in a Multiple-Media Open Learner Model for Basic Harmony
This paper focuses on whether learners of basic music theory may find a multiple-media independent open learner model useful to explore their knowledge of harmony concepts. Learner...
Matthew Johnson, Susan Bull
ECSQARU
2009
Springer
16 years 1 months ago
Local Computation Schemes with Partially Ordered Preferences
Many computational problems linked to reasoning under uncertainty can be expressed in terms of computing the marginal(s) of the combination of a collection of (local) valuation fun...
Hélène Fargier, Nic Wilson
ICCS
2009
Springer
16 years 1 months ago
A Massively Parallel Architecture for Bioinformatics
Abstract. Today’s general purpose computers lack in meeting the requirements on computing performance for standard applications in bioinformatics like DNA sequence alignment, err...
Gerd Pfeiffer, Stefan Baumgart, Jan Schröder,...