Sciweavers

6757 search results - page 322 / 1352
» Knowledge Analysis on Process Models
Sort
View
SODA
2010
ACM
190views Algorithms» more  SODA 2010»
16 years 4 months ago
One-Counter Markov Decision Processes
We study the computational complexity of some central analysis problems for One-Counter Markov Decision Processes (OC-MDPs), a class of finitely-presented, countable-state MDPs. O...
Tomas Brazdil, Vaclav Brozek, Kousha Etessami, Ant...
DATE
2008
IEEE
204views Hardware» more  DATE 2008»
16 years 1 months ago
Deep Submicron Interconnect Timing Model with Quadratic Random Variable Analysis
Shrinking feature sizes and process variations are of increasing concern in modern technology. It is urgent that we develop statistical interconnect timing models which are harmon...
Jun-Kuei Zeng, Chung-Ping Chen
UML
2004
Springer
16 years 20 hour ago
Behavioral Domain Analysis - The Application-Based Domain Modeling Approach
Being part of domain engineering, domain analysis enables identifying domains and capturing their ontologies in order to assist and guide system developers to design domain-specifi...
Iris Reinhartz-Berger, Arnon Sturm
159
Voted
BMVC
1998
15 years 8 months ago
A Bi-Directional Integrated Model for Non-Rigid Motion Analysis
To be able to understand the motion of deformable objects, techniques in image processing and computer vision are essential for non-rigid motion analysis in this active research a...
Chunyen Liu
DATE
2002
IEEE
166views Hardware» more  DATE 2002»
15 years 11 months ago
Event Model Interfaces for Heterogeneous System Analysis
Complex embedded systems consist of hardware and software components from different domains, such as control and signal processing, many of them supplied by different IP vendors. ...
Kai Richter, Rolf Ernst