5356 search results - page 122 / 1072 » Adventures in time and space |
126
click to vote
BILDMED
2004
15 years 7 months ago
2004
We present a procedure for the segmentation of the mastoid - a sponge-like bone structure behind the middle ear - from CT Images. This segmentation is a first pre-operative step fo...
185
click to vote
PARMA
2004
15 years 7 months ago
2004
In the recent years, our ability of collecting information rapidly increases and huge databases that change over time in a high frequency have been developed. On the other hand, th...
154
click to vote
ENTCS
2006
15 years 6 months ago
2006
In previous work we have developed a syntactic reduction of repeated reachability to reachability for finite state systems. This may lead to simpler and more uniform proofs for mo...
150
click to vote
JSYML
2006
15 years 6 months ago
2006
f spaces of signs (abstract real spectra) developed in [1] [18]. We consider pp (positive primitive) formulas in the language of reduced special groups as in [20]. We denote the pp...
135
click to vote
MICS
2007
15 years 6 months ago
2007
We describe an approach to the computation of symbolic resultants in which factors are removed during the course of the calculation, so reducing the stack size required for interme...