2935 search results - page 540 / 587 » An Integrated Approach to High Integrity Software Verificati... |
165
Voted
CLUSTER
2008
IEEE
15 years 6 months ago
2008
IEEE
Efficient intra-node shared memory communication is important for High Performance Computing (HPC), especially with the emergence of multi-core architectures. As clusters continue ...
139
Voted
KAIS
2006
15 years 4 months ago
2006
Abstract. Data mining in large databases of complex objects from scientific, engineering or multimedia applications is getting more and more important. In many areas, complex dista...
175
click to vote
BMCBI
2011
14 years 7 months ago
2011
Background: Mosaicism for copy number and copy neutral chromosomal rearrangements has been recently identified as a relatively common source of genetic variation in the normal pop...
259
click to vote
CADE
2011
Springer
14 years 4 months ago
2011
Springer
Deduction modulo is a generic framework to describe proofs in a theory better than using raw axioms. This is done by presenting the theory through rules rewriting terms and proposi...
138
click to vote
ECCV
2008
Springer
16 years 6 months ago
2008
Springer
Active vision techniques use programmable light sources, such as projectors, whose intensities can be controlled over space and time. We present a broad framework for fast active v...