Sciweavers

3726 search results - page 401 / 746
» A structured definition of the modeling process
Sort
View
FORTE
2008
15 years 8 months ago
Checking Correctness of Transactional Behaviors
Abstract. The Signal Calculus is an asynchronous process calculus featuring multicast communication. It relies on explicit modeling of the communication structure of the network (c...
Vincenzo Ciancia, Gian Luigi Ferrari, Roberto Guan...
MASCOTS
2003
15 years 8 months ago
PEPA Nets
Abstract. In this paper we describe a formalism which uses the stochastic process algebra PEPA as the inscription language for labelled stochastic Petri nets. Viewed in another way...
Stephen Gilmore, Jane Hillston, Leïla Kloul
JCP
2006
111views more  JCP 2006»
15 years 6 months ago
Mining Developing Trends of Dynamic Spatiotemporal Data Streams
This paper1 presents an efficient modeling technique for data streams in a dynamic spatiotemporal environment and its suitability for mining developing trends. The streaming data a...
Yu Meng, Margaret H. Dunham
ICIP
2009
IEEE
15 years 4 months ago
Bidirectional scalable motion for scalable video coding
Motion information scalability is an important requirement for a fully scalable video codec, especially in low bit rate or small resolution decoding scenarios, for which the fully...
Hu Chen, Meng-Ping Kao, Truong Nguyen
RECOMB
2003
Springer
16 years 7 months ago
Combining phylogenetic and hidden Markov models in biosequence analysis
A few models have appeared in recent years that consider not only the way substitutions occur through evolutionary history at each site of a genome, but also the way the process c...
Adam C. Siepel, David Haussler