Sciweavers

3174 search results - page 625 / 635
» An Exploration of the Permanent-Determinant Method
Sort
View
MICCAI
2010
Springer
14 years 10 months ago
A Statistical Approach for Achievable Dose Querying in IMRT Planning
The task of IMRT planning, particularly in head-and-neck cancer, is a difficult one, often requiring days of work from a trained dosimetrist. One of the main challenges is the pres...
Patricio D. Simari, Binbin Wu, Robert Jacques, Ale...
MIG
2010
Springer
14 years 10 months ago
Navigation Queries from Triangular Meshes
Abstract. Navigation meshes are commonly employed as a practical representation for path planning and other navigation queries in animated virtual environments and computer games. ...
Marcelo Kallmann
SAB
2010
Springer
117views Optimization» more  SAB 2010»
14 years 10 months ago
Indirectly Encoding Neural Plasticity as a Pattern of Local Rules
Biological brains can adapt and learn from past experience. In neuroevolution, i.e. evolving artificial neural networks (ANNs), one way that agents controlled by ANNs can evolve t...
Sebastian Risi, Kenneth O. Stanley
SAT
2010
Springer
174views Hardware» more  SAT 2010»
14 years 10 months ago
A System for Solving Constraint Satisfaction Problems with SMT
Abstract. SAT Modulo Theories (SMT) consists of deciding the satisfiability of a formula with respect to a decidable background theory, such as linear integer arithmetic, bit-vect...
Miquel Bofill, Josep Suy, Mateu Villaret
SCP
2010
154views more  SCP 2010»
14 years 10 months ago
An algebraic foundation for automatic feature-based program synthesis
Feature-Oriented Software Development provides a multitude of formalisms, methods, languages, and tools for building variable, customizable, and extensible software. Along differe...
Sven Apel, Christian Lengauer, Bernhard Mölle...