588 search results - page 62 / 118 » Modeling and Verifying Circuits Using Generalized Relative T... |
JSS
2006
13 years 8 months ago
2006
Model is a kind of codified knowledge that has been verified in solving problems. Solving a complex problem usually needs a set of models. Using components, the composition of a s...
DAC
2004
ACM
14 years 9 months ago
2004
ACM
Parametric representations used for symbolic simulation of circuits usually use BDDs. After a few steps of symbolic simulation, state set representation is converted from one para...
EVOW
2001
Springer
14 years 17 days ago
2001
Springer
Abstract. We describe a set of preliminary experiments to evolve spiking neural controllers for a vision-based mobile robot. All the evolutionary experiments are carried out on phy...
GIR
2006
ACM
14 years 2 months ago
2006
ACM
GPS tracklogs provide a valuable record of routes travelled. In this paper we describe initial experiments exploring the use of text information retrieval techniques for the locat...
ENTCS
2007
13 years 8 months ago
2007
Several model-checker based methods to automated test-case generation have been proposed recently. The performance and applicability largely depends on the complexity of the model...