3820 search results - page 298 / 764 » Bounded Model Debugging |
131
click to vote
ISQED
2008
IEEE
15 years 10 months ago
2008
IEEE
Negative bias temperature instability (NBTI) is one of the primary limiters of reliability lifetime in nano-scale integrated circuits. NBTI manifests itself in a gradual increase ...
128
click to vote
COLT
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. There has been growing interest in practice in using unlabeled data together with labeled data in machine learning, and a number of different approaches have been develo...
137
click to vote
CA
2000
IEEE
15 years 8 months ago
2000
IEEE
Hair-to-hair interaction is often ignored in human hair modeling, due to its computational and algorithmic complexity. In this paper, we present our experimental approach to simul...
187
click to vote
IRREGULAR
1998
Springer
15 years 8 months ago
1998
Springer
To achieve scalable parallel performance in Molecular Dynamics Simulation, we have modeled and implemented several dynamic spatial domain decomposition algorithms. The modeling is ...
114
click to vote
ECAI
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. In this work a model for planning with multivalued fluents and graded actions, based on the infinite valued Lukasiewicz logic, is introduced. In multivalued planning, flu...