6598 search results - page 147 / 1320 » Graph Theory with Applications |
121
click to vote
ISMB
1996
15 years 6 months ago
1996
A novel theory of subtractive hybridization including (or based on) the kinetic model of this process was proposed. A computer program modeling the process of subtraction wasdevel...
135
click to vote
CCS
2010
ACM
15 years 2 months ago
2010
ACM
We address the insecurity problem for cryptographic protocols, for an active intruder and a bounded number of sessions. The protocol steps are modeled as rigid Horn clauses, and t...
130
click to vote
ICANN
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Classification of structured data (i.e., data that are represented as graphs) is a topic of interest in the machine learning community. This paper presents a different,...
150
click to vote
AISC
2008
Springer
15 years 6 months ago
2008
Springer
Graph-based formalisms of quantum computation provide an abstract and symbolic way to represent and simulate computations. However, manual manipulation of such graphs is slow and e...
134
click to vote
SODA
2001
ACM
15 years 6 months ago
2001
ACM
It is well known that the Delaunay Triangulation is a spanner graph of its vertices. In this paper we show that any bounded aspect ratio triangulation in two and three dimensions ...