3054 search results - page 571 / 611 » An fMRI Activation Method Using Complex Data |
104
click to vote
ENTCS
2007
15 years 2 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...
124
click to vote
TCS
2008
15 years 2 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 ...
113
Voted
JACM
2002
15 years 2 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...
139
Voted
ICIP
2010
IEEE
14 years 12 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...
148
Voted
STVR
2010
14 years 9 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...