2849 search results - page 469 / 570 » As We Should Have Thought |
161
click to vote
NDJFL
1998
15 years 6 months ago
1998
We investigate transfer of interpolation in such combinations of modal logic which lead to interaction of the modalities. Combining logics by taking products often blocks transfer...
157
click to vote
TOSEM
1998
15 years 6 months ago
1998
Many software process methods and tools presuppose the existence of a formal model of a process. Unfortunately, developing a formal model for an on-going, complex process can be d...
219
click to vote
PAMI
2007
15 years 5 months ago
2007
— Digitization is not as easy as it looks. If one digitizes a 3D object even with a dense sampling grid, the reconstructed digital object may have topological distortions and in ...
281
click to vote
BIBM
2010
IEEE
15 years 4 months ago
2010
IEEE
Advances in sequencing technologies have equipped researchers with the ability to sequence the collective genome of entire microbial communities commonly referred to as metagenomi...
215
click to vote
GLOBECOM
2010
IEEE
15 years 4 months ago
2010
IEEE
We study an online random linear network coding approach for time division duplexing (TDD) channels under Poisson arrivals. We model the system as a bulk-service queue with variabl...