3082 search results - page 403 / 617 » Deviation Analysis: A New Use of Model Checking |
153
click to vote
TCAD
2002
15 years 6 months ago
2002
We develop a general methodology to analyze crosstalk effects that are likely to cause errors in deep submicron high speed circuits. We focus on crosstalk due to capacitive coupli...
170
click to vote
ICRA
2009
IEEE
16 years 1 months ago
2009
IEEE
— A points surface reconstruction algorithm of 3D object models from multiple silhouettes is proposed in this paper. Some images of the target object are taken from a circular tr...
143
click to vote
SODA
2008
ACM
15 years 8 months ago
2008
ACM
In this paper, we study an online make-to-order variant of the classical joint replenishment problem (JRP) that has been studied extensively over the years and plays a fundamental...
185
click to vote
EDBT
2009
ACM
16 years 1 months ago
2009
ACM
To our best knowledge, all existing graph pattern mining algorithms can only mine either closed, maximal or the complete set of frequent subgraphs instead of graph generators whic...
167
click to vote
ICMI
2009
Springer
16 years 1 months ago
2009
Springer
: We report on a new kind of culturally-authentic embodied conversational agent more in line with the ways that culture and ethnicity function in the real world. On the basis of th...