1095 search results - page 47 / 219 » Algebraic Guide Generation |
CORR
2007
Springer
13 years 9 months ago
2007
Springer
Systems biology focuses on the study of entire biological systems rather than on their individual components. With the emergence of high-throughput data generation technologies for...
IFIP
2001
Springer
14 years 1 months ago
2001
Springer
— Semi-formal verification based on symbolic simulation offers a good compromise between formal model checking and numerical simulation. The generation of functional test vector...
IPPS
2006
IEEE
14 years 3 months ago
2006
IEEE
We present a translation of a generic stochastic process algebra model into a form suitable for stochastic simulation. By systematically generating rate equations from a process d...
IWPSE
2003
IEEE
14 years 2 months ago
2003
IEEE
There is a growing demand to port existing PC-based software systems to mobile device platforms. Systems running on mobile devices share basic characteristics with their PC-based ...
FLAIRS
2000
13 years 10 months ago
2000
Oneof the keys to a goodIntelligent Tutoring System (ITS)is its ability to identify andlocalize the error a student's answerand then generate useful feedback. This paper desc...