1995 search results - page 174 / 399 » The Chemical Abstract Machine |
137
click to vote
ICTAC
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Given a nite state machine denoting the speci cation of a system, nding some short interaction sequences capable to reach some/all states or transitions of this machine...
160
click to vote
ACSE
2000
ACM
15 years 9 months ago
2000
ACM
The Logo programming language implements a virtual drawing machine—the turtle machine. The turtle machine is well-known for giving students an intuitive understanding of fundame...
136
click to vote
APN
1999
Springer
15 years 9 months ago
1999
Springer
Abstract. This paper presents parallel approaches to the complete transient numerical analysis of stochastic reward nets (SRNs) for both shared and distributed-memory machines. Par...
127
click to vote
HIPS
1998
IEEE
15 years 9 months ago
1998
IEEE
ZPL is a parallel array language designed for high performance scientific and engineering computations. Unlike other parallel languages, ZPL is founded on a machine he CTA) that a...
137
click to vote
ECML
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Combining statistical and relational learning receives currently a lot of attention. The majority of statistical relational learning approaches focus on density estimatio...