3852 search results - page 674 / 771 » Construction of Codes for Network Coding |
136
click to vote
BMCBI
2007
15 years 5 months ago
2007
Background: The advent of RNA interference techniques enables the selective silencing of biologically interesting genes in an efficient way. In combination with DNA microarray tec...
129
click to vote
ECCV
2000
Springer
16 years 6 months ago
2000
Springer
The initialisation of segmentation methods aiming at the localisation of biological structures in medical imagery is frequently regarded as a given precondition. In practice, howev...
250
click to vote
POPL
2009
ACM
16 years 5 months ago
2009
ACM
Deadlock in multithreaded programs is an increasingly important problem as ubiquitous multicore architectures force parallelization upon an ever wider range of software. This pape...
242
click to vote
POPL
2008
ACM
16 years 5 months ago
2008
ACM
Machine-checked proofs of properties of programming languages have become a critical need, both for increased confidence in large and complex designs and as a foundation for techn...
270
click to vote
POPL
2008
ACM
16 years 5 months ago
2008
ACM
Java programmers can document that the relationship between two objects is unchanging by declaring the field that encodes that relationship to be final. This information can be us...