1057 search results - page 62 / 212 » Theoretical and Experimental DNA Computation |
IPPS
2007
IEEE
15 years 4 months ago
2007
IEEE
In this paper, we propose the design of VoroNet, an objectbased peer to peer overlay network relying on Voronoi tessellations, along with its theoretical analysis and experimental...
SPIN
2004
Springer
15 years 3 months ago
2004
Springer
We propose an algorithm to find a counterexample to some property in a finite state program. This algorithm is derived from SPIN’s one, but it finds a counterexample faster th...
106
click to vote
CVPR
2005
IEEE
15 years 11 months ago
2005
IEEE
Object detection in aerial imagery has been well studied in computer vision for years. However, given the complexity of large variations of the appearance of the object and the ba...
SOFSEM
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. After text retrieval, the next waves in web searching and multimedia retrieval are the search for and delivery of images, music, video, and 3D scenes. Not only the percep...
WG
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. The computation of all minimal transversals of a given hypergraph in output-polynomial time is a long standing open question known as the transversal hypergraph generatio...