4248 search results - page 63 / 850 » Simulating hci for all |
120
click to vote
JIFS
2007
15 years 3 months ago
2007
This paper illustrates how a computer model, based on Venn-networks, mimics a physiological phenomenon present in brains of higher animals: contra-lateral inhibition. The experimen...
136
click to vote
DAC
2002
ACM
16 years 5 months ago
2002
ACM
This paper presents novel uses of functional interface specifications for verifying RTL designs. We demonstrate how a simulation environment, a correctness checker, and a function...
134
click to vote
QEST
2009
IEEE
15 years 11 months ago
2009
IEEE
This paper provides an experimental study of the efficiency of simulation-based model-checking algorithms for continuous-time Markov chains by comparing: MRMC – the only tool t...
133
click to vote
ERSHOV
2009
Springer
15 years 11 months ago
2009
Springer
Kohn’s Molecular Interaction Maps (MIMs) are a graphical notation for describing bioregulatory networks at the molecular level. Even if the meaning of Kohn’s diagrams can be of...
125
click to vote
ACISICIS
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper addresses the problem of finding a feasible solution for the University Course Timetabling Problem (UCTP), i.e. a solution that satisfies all the so-called hard const...