1263 search results - page 30 / 253 » Packaging Mathematical Structures |
SIAMREV
2011
12 years 10 months ago
2011
We propose a mathematical model for an infestation of a wooded area by a beetle species in which the larvae develop deep in the wood of living trees. Due to the difficulties of det...
MICCAI
1998
Springer
13 years 11 months ago
1998
Springer
Abstract. In this paper, we propose a robust fully non-supervised method dedicated to the segmentation of the brain in T1-weighted MR images. The first step consists in the analysi...
ISSAC
2007
Springer
14 years 1 months ago
2007
Springer
We report on a high-level categorical parallel framework, written in the Aldor language, to support high-performance computer algebra on symmetric multi-processors and multicore p...
ICCAD
2000
IEEE
13 years 12 months ago
2000
IEEE
This paper describes an algorithm for simultaneous gate sizing and fanout optimization along the timing-critical paths in a circuit. First, a continuous-variable delay model that ...
MKM
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Although knowledge is a central topic for MKM there is little explicit discussion on what ‘knowledge’ might actually be. There are specific intuitions about form and...