3068 search results - page 138 / 614 » Separation Results on the |
245
click to vote
TVCG
2008
15 years 6 months ago
2008
Developments in optical microscopy imaging have generated large high-resolution datasets that have spurred medical researchers to conduct investigations into mechanisms of disease,...
154
click to vote
CAE
2010
15 years 1 months ago
2010
We propose a simple and interactive technique for volume illustration by using the difference between the original intensity values and a low-pass filtered copy. This difference, ...
148
click to vote
NOLISP
2007
Springer
16 years 16 days ago
2007
Springer
Voice source analysis is an important but difficult issue for speech processing. In this talk, three aspects of voice source analysis recently developed at LIMSI (Orsay, France) a...
168
click to vote
SEFM
2005
IEEE
15 years 12 months ago
2005
IEEE
Verification of programs requires reasoning about sets of program states. In case of programs manipulating pointers, program states are pointer graphs. Verification of such prog...
213
click to vote
ICDCS
2010
IEEE
15 years 4 months ago
2010
IEEE
Advances in wireless vehicular networks present us with opportunities for developing new distributed traffic control algorithms that avoid phenomena such as abrupt phase-transition...