3054 search results - page 571 / 611 » An fMRI Activation Method Using Complex Data |
ENTCS
2007
14 years 9 months ago
2007
The event B method provides a general framework for modelling both data structures and algorithms. B models are validated by discharging proof obligations ensuring safety properti...
TCS
2008
14 years 9 months ago
2008
A time-bound hierarchical key assignment scheme is a method to assign time-dependent encryption keys to a set of classes in a partially ordered hierarchy, in such a way that each ...
JACM
2002
14 years 9 months ago
2002
Given a collection of contigs and mate-pairs. The Contig Scaffolding Problem is to order and orientate the given contigs in a manner that is consistent with as many mate-pairs as p...
100
click to vote
ICIP
2010
IEEE
14 years 7 months ago
2010
IEEE
Intra prediction has been efficiently employed in block based image/video coding to remove the spatial redundancy. In this paper, we propose a position dependent linear intra pred...
101
click to vote
STVR
2010
14 years 4 months ago
2010
As we move to developing object-oriented programs, the complexity traditionally found in functions and procedures is moving to the connections among components. Different faults o...