7886 search results - page 51 / 1578 » An evaluation of bipartitioning techniques |
JAR
2008
13 years 9 months ago
2008
We introduce a specification language, Promela-Lite, which captures the essential features of Promela but which, unlike Promela, has a formally defined semantics. We show how we ca...
DATE
2005
IEEE
14 years 2 months ago
2005
IEEE
Very deep submicron and nanometer technologies have increased notably integrated circuit (IC) sensitiveness to radiation. Soft errors are currently appearing into ICs working at e...
SEW
2005
IEEE
14 years 2 months ago
2005
IEEE
There are various ways to evaluate defect-detection techniques. However, for a comprehensive evaluation the only possibility is to reduce all influencing factors to costs. There ...
ICML
2009
IEEE
14 years 10 months ago
2009
IEEE
We present a unified framework for learning link prediction and edge weight prediction functions in large networks, based on the transformation of a graph's algebraic spectru...
ICPR
2008
IEEE
14 years 3 months ago
2008
IEEE
Given a bipartite graph of collaborative ratings, the task of recommendation and rating prediction can be modeled with graph kernels. We interpret these graph kernels as the inver...