8917 search results - page 1263 / 1784 » Abstraction in Algorithm Animation |
212
click to vote
HYBRID
2004
Springer
16 years 12 days ago
2004
Springer
Abstract. Biological systems involving genetic reactions are large discrete event systems, and often contain certain species that occur in small quantities, and others that occur i...
213
click to vote
ICFEM
2004
Springer
16 years 12 days ago
2004
Springer
Abstract. We develop a way of analyzing the behavior of systems modeled using Discrete Time Markov Chains (DTMC). Specifically, we define iLTL, an LTL with linear inequalities on...
172
click to vote
ICGI
2004
Springer
16 years 12 days ago
2004
Springer
Abstract. Left deteministic linear languages are a subclass of the context free languages that includes all the regular languages. Recently was proposed an algorithm to identify in...
201
click to vote
IPSN
2004
Springer
16 years 12 days ago
2004
Springer
This paper investigates the problem of designing decentralized representations to support monitoring and inferences in sensor networks. State-space models of physical phenomena su...
225
click to vote
ISMIR
2004
Springer
16 years 12 days ago
2004
Springer
A number of metadata standards have been published in recent years due to the increasing availability of multimedia content and the resulting issue of sorting and retrieving this ...