12459 search results - page 38 / 2492 » cans 2006 |
ENTCS
2006
13 years 7 months ago
2006
In this paper we investigate how formal software verification systems can be improved by utilising parallel assignment in weakest precondition computations.
CVIU
2006
13 years 7 months ago
2006
In this paper, we explore whether the Fresnel term can be used to improve the predictions of the Beckmann
Presentation
A nice presentation by Daniel Cremers at the European Conference on Computer Vision (ECCV) 2006, covering a wide range of computer vision applications that the level set methods ca...
BMCBI
2006
13 years 7 months ago
2006
Background: Detecting new coding sequences (CDSs) in viral genomes can be difficult for several reasons. The typically compact genomes often contain a number of overlapping coding...
COMBINATORICS
2006
13 years 7 months ago
2006
![Characterization of [1, k]-Bar Visibility Trees](https://www.sciweavers.org/files/imagecache/thumbnail/imagecache/characterization_of_1_k_bar_visibility_trees_COMBINATORICS_2006.jpg "Characterization of [1, k]-Bar Visibility Trees")
A unit bar-visibility graph is a graph whose vertices can be represented in the plane by disjoint horizontal unit-length bars such that two vertices are adjacent if and only if th...