759 search results - page 85 / 152 » Verification of a Microprocessor Using Real World Applicatio... |
136
click to vote
ICCTA
2007
IEEE
15 years 6 months ago
2007
IEEE
We have carried out experimental research into implicit representation of large graphs using reduced ordered binary decision diagrams (OBDDs). We experimentally show that for grap...
103
Voted
GECCO
2006
Springer
15 years 6 months ago
2006
Springer
This paper presents an automatic design method for piping arrangement. A pipe arrangement design problem is proposed for a space in which many pipes and objects co-exist. This pro...
120
click to vote
IJCAI
2007
15 years 3 months ago
2007
Current research on qualitative spatial representation and reasoning usually focuses on one single aspect of space. However, in real world applications, several aspects are often ...
119
Voted
IJCAI
2007
15 years 3 months ago
2007
Nonparametric Bayesian mixture models, in particular Dirichlet process (DP) mixture models, have shown great promise for density estimation and data clustering. Given the size of ...
127
Voted
NIPS
2008
15 years 3 months ago
2008
We present a sparse approximation approach for dependent output Gaussian processes (GP). Employing a latent function framework, we apply the convolution process formalism to estab...