Sciweavers

2131 search results - page 20 / 427
» Stochastic Process Creation
Sort
View
HICSS
1995
IEEE
110views Biometrics» more  HICSS 1995»
14 years 2 months ago
Reliability analysis of CSP specifications using Petri nets and Markov processes
In our research we are developing methodologiesand tools to permit stochastic analyses of CSP-based system specifications. In this regard, we have been developing morphismsbetween...
Krishna M. Kavi, Frederick T. Sheldon, Behrooz Shi...
CBMS
2001
IEEE
14 years 2 months ago
Automated Medical Citation Records Creation for Web-Based On-Line Journals
With the rapid expansion and utilization of the Internet and Web technologies, there is an increasing number of on-line medical journals. On-line journals pose new challenges in t...
Daniel X. Le, Loc Q. Tran, Joseph Chow, Jongwoo Ki...
CDC
2009
IEEE
123views Control Systems» more  CDC 2009»
14 years 2 months ago
Dealing with stochastic reachability
Abstract— For stochastic hybrid systems, stochastic reachability is very little supported mainly because of complexity and difficulty of the associated mathematical problems. In...
Manuela L. Bujorianu
OHS
2001
Springer
14 years 3 months ago
The Pipeline of Enrichment: Supporting Link Creation for Continuous Media
The application of open hypermedia to temporal media has previously been explored with respect to the link service, in particular link delivery and generic linking. This paper is b...
Richard Beales, Don Cruickshank, David De Roure, N...
FIS
2008
14 years 14 days ago
Environmental Content Creation and Visualisation in the 'Future Internet'
This paper presents a model-based photo registration system for the creation and visualization of environmental content. We utilize freely available Digital Terrain Models of the p...
Paul Chippendale, Michele Zanin, Claudio Andreatta