1008 search results - page 4 / 202 » A cis-regulatory logic simulator |
IANDC
2006
13 years 7 months ago
2006
We propose a modular approach to defining notions of simulation, and modal logics which characterise them. We use coalgebras to model state-based systems, relators to define notio...
FORMATS
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. Probabilistic timed automata are an extension of timed automata with discrete probability distributions. Simulation and bisimulation relations are widely-studied in the c...
PADS
1996
ACM
13 years 11 months ago
1996
ACM
ACL
2009
13 years 5 months ago
2009
This paper proposes a novel user intention simulation method which is a data-driven approach but able to integrate diverse user discourse knowledge together to simulate various ty...
CSL
2011
Springer
13 years 2 months ago
2011
Springer
This paper proposes a novel user intention simulation method which is data-driven but can integrate diverse user discourse knowledge to simulate various types of user behaviors. A...