2586 search results - page 419 / 518 » Automatic Abstraction for Congruences |
ASAP
2010
IEEE
15 years 3 days ago
2010
IEEE
Abstract—The demand for biomedical implants keeps increasing. However, most of the current implant design methodologies involve custom-ASIC design. The SiMS project aims to chang...
110
click to vote
DAGM
2010
Springer
15 years 2 days ago
2010
Springer
Abstract. For every segmentation task, prior knowledge about the object that shall be segmented has to be incorporated. This is typically performed either automatically by using la...
113
click to vote
DIMVA
2010
15 years 2 days ago
2010
Abstract. In the escalating arms race between malicious code and security tools designed to analyze it, detect it or mitigate its impact, malicious code running inside the operatin...
102
click to vote
ECSA
2010
Springer
15 years 2 days ago
2010
Springer
Abstract. Numerous design decisions are made in model-based software development which often are not documented explicitly. Hence, the design knowledge is 'in the designers mi...
102
click to vote
GECCO
2010
Springer
15 years 2 days ago
2010
Springer
To complement standard fitness functions, we propose "Fitness Importance" (FI) as a novel meta-heuristic for online learning systems. We define FI and show how it can be...