6704 search results - page 358 / 1341 » Testing Scenario-Based Models |
171
click to vote
DFT
2005
IEEE
16 years 12 days ago
2005
IEEE
This paper analyzes the deposition defects in devices and circuits made of Quantum-dot Cellular Automata (QCA) for molecular implementation. Differently from metal-based QCA, in ...
174
Voted
CIVR
2005
Springer
16 years 9 days ago
2005
Springer
This paper proposes a new approach for hot event detection and summarization of news videos. The approach is mainly based on two graph algorithms: optimal matching (OM) and normali...
159
click to vote
IJCNLP
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. Linguistic information can help improve evaluation of similarity between documents; however, the kind of linguistic information to be used depends on the task. In this pa...
185
click to vote
SAT
2005
Springer
16 years 8 days ago
2005
Springer
An important extension of satisfiability testing is model-counting, a task that corresponds to problems such as probabilistic reasoning and computing the permanent of a Boolean ma...
170
click to vote
ICCS
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. Apart from experimental and theoretical approaches, computer simulation is an important tool in testing hypotheses about stony coral growth. However, the construction and...