Sciweavers

1995 search results - page 5 / 399
» The Chemical Abstract Machine
Sort
View
FPCA
1991
13 years 11 months ago
Making Abstract Machines Less Abstract
Hannan. Making Abstract Machines Less Abstract . In Proc. of FPCA'91, LNCS 523, pages
John Hannan
APN
2009
Springer
13 years 11 months ago
Deficiency Zero Petri Nets and Product Form
Abstract. Consider a Markovian Petri net with race policy. The marking process has a "product form" stationary distribution if the probability of viewing a given marking ...
Jean Mairesse, Hoang-Thach Nguyen
ENTCS
2010
118views more  ENTCS 2010»
13 years 4 months ago
Fragments-based Model Reduction: Some Case Studies
Molecular biological models usually suffer from a dramatic combinatorial blow up. Indeed, proteins form complexes and can modify each others, which leads to the formation of a hug...
Jérôme Feret
ICML
2004
IEEE
14 years 8 months ago
Learning first-order rules from data with multiple parts: applications on mining chemical compound data
Inductive learning of first-order theory based on examples has serious bottleneck in the enormous hypothesis search space needed, making existing learning approaches perform poorl...
Cholwich Nattee, Sukree Sinthupinyo, Masayuki Numa...
ICFP
2010
ACM
13 years 8 months ago
Abstracting abstract machines
David Van Horn, Matthew Might