1722 search results - page 242 / 345 » Guided Genetic Programming |
MICCAI
1998
Springer
14 years 2 months ago
1998
Springer
In this paper we present AnatomyBrowser, a framework for integration of images and textual information in medical applications. AnatomyBrowser allows the user to combine 3D surfac...
HOTOS
2007
IEEE
14 years 2 months ago
2007
IEEE
As multi-core processors with tens or hundreds of cores begin to proliferate, system optimization issues once faced only by the high-performance computing (HPC) community will bec...
EVOW
2006
Springer
14 years 2 months ago
2006
Springer
Abstract. We present the newly developed core concept for the Multidimensional Knapsack Problem (MKP) which is an extension of the classical concept for the one-dimensional case. T...
AI
2001
Springer
14 years 2 months ago
2001
Springer
A system's constraints characterizes what that system can do. However, a dynamic environment may require that a system alter its constraints. If feedback about a specific situ...
CAV
2008
Springer
14 years 9 days ago
2008
Springer
Abstract. The use of Craig interpolants has enabled the development of powerful hardware and software model checking techniques. Efficient algorithms are known for computing interp...