9931 search results - page 132 / 1987 » Generative Modeling by PRISM |
108
click to vote
ICRA
2007
IEEE
15 years 9 months ago
2007
IEEE
: Small unmanned vertical take off and landing vehicles are used to provide the eye-in-the-sky alternative to monitoring and regulating traffic dynamically. Spatial-temporal visual...
136
click to vote
VL
2005
IEEE
15 years 9 months ago
2005
IEEE
On one hand, visual modeling languages are often used today in engineering domains, Mathworks’ Simulink/Stateflow for simulation, signal processing and controls being the prime ...
140
click to vote
EPK
2004
15 years 4 months ago
2004
: This paper presents an approach to map EPC business process models available in EPML to Scalable Vector Graphics (SVG) and websites. This mapping has been implemented as an XSLT ...
133
click to vote
DSN
2009
IEEE
15 years 10 months ago
2009
IEEE
Any model-based evaluation of the dependability of a system requires validation and verification to justify that its results are meaningful. Modern modeling frameworks enable us ...