2373 search results - page 36 / 475 » Complexities for generalized models of self-assembly |
141
click to vote
SIAMDM
2008
15 years 4 months ago
2008
In this paper we consider the problem of testing whether a graph is triangle-free, and more generally, whether it is H-free, for a fixed subgraph H. The algorithm should accept gr...
161
click to vote
PASTE
2005
ACM
15 years 9 months ago
2005
ACM
Forward symbolic execution is a program analysis technique that allows using symbolic inputs to explore program executions. The traditional applications of this technique have foc...
117
Voted
CARTOGRAPHICA
2010
15 years 1 months ago
2010
Shaded relief derived automatically from digital elevation models differs distinctly from traditional manual shading. Particularly at small scales, many small topographic details ...
120
click to vote
CIKM
2009
Springer
15 years 10 months ago
2009
Springer
We propose a General Markov Framework for computing page importance. Under the framework, a Markov Skeleton Process is used to model the random walk conducted by the web surfer on...
138
click to vote
WG
2004
Springer
15 years 9 months ago
2004
Springer
In portable multimedia systems a number of communicating tasks has to be performed on a set of heterogeneous processors. This should be done in an energy-efficient way. We give th...