Sciweavers

7167 search results - page 1195 / 1434
» Answer Set Programming
Sort
View
TACAS
2005
Springer
158views Algorithms» more  TACAS 2005»
15 years 7 months ago
Symstra: A Framework for Generating Object-Oriented Unit Tests Using Symbolic Execution
Object-oriented unit tests consist of sequences of method invocations. Behavior of an invocation depends on the method’s arguments and the state of the receiver at the beginning ...
Tao Xie, Darko Marinov, Wolfram Schulte, David Not...
DIGRA
2005
Springer
15 years 7 months ago
Neomancer: An Exercise in Interdisciplinary Academic Game Development
Academic interest in game development and game studies has grown steadily in recent years, with many institutions now offering courses or programs in this area. To provide a truly...
Michael Katchabaw, Derek Elliott, Stephen Danton
ESA
2005
Springer
135views Algorithms» more  ESA 2005»
15 years 7 months ago
Approximation Complexity of min-max (Regret) Versions of Shortest Path, Spanning Tree, and Knapsack
This paper investigates, for the first time in the literature, the approximation of min-max (regret) versions of classical problems like shortest path, minimum spanning tree, and ...
Hassene Aissi, Cristina Bazgan, Daniel Vanderpoote...
GECCO
2005
Springer
150views Optimization» more  GECCO 2005»
15 years 7 months ago
A GA for maximum likelihood phylogenetic inference using neighbour-joining as a genotype to phenotype mapping
Evolutionary relationships among species can be represented by a phylogenetic tree and inferred by optimising some measure of fitness, such as the statistical likelihood of the t...
Leon Poladian
118
Voted
CASES
2004
ACM
15 years 7 months ago
A post-compiler approach to scratchpad mapping of code
ScratchPad Memories (SPMs) are commonly used in embedded systems because they are more energy-efficient than caches and enable tighter application control on the memory hierarchy...
Federico Angiolini, Francesco Menichelli, Alberto ...
« Prev « First page 1195 / 1434 Last » Next »