Sciweavers

7715 search results - page 999 / 1543
» Visual Rules Modeling
Sort
View
ECMDAFA
2010
Springer
228views Hardware» more  ECMDAFA 2010»
15 years 10 months ago
Example-Based Sequence Diagrams to Colored Petri Nets Transformation Using Heuristic Search
Dynamic UML models like sequence diagrams (SD) lack sufficient formal semantics, making it difficult to build automated tools for their analysis, simulation and validation. A commo...
Marouane Kessentini, Arbi Bouchoucha, Houari A. Sa...
SAC
2010
ACM
15 years 6 months ago
Graph-based verification of static program constraints
Software artifacts usually have static program constraints and these constraints should be satisfied in each reuse. In addition to this, the developers are also required to satisf...
Selim Ciraci, Pim van den Broek, Mehmet Aksit
JORS
2010
189views more  JORS 2010»
15 years 1 months ago
Monte Carlo scenario generation for retail loan portfolios
Monte Carlo simulation is a common method for studying the volatility of market traded instruments. It is less employed in retail lending, because of the inherent nonlinearities in...
J. L. Breeden, D. Ingram
CVPR
2010
IEEE
16 years 2 months ago
Exploiting Hierarchical Context on a Large Database of Object Categories
There has been a growing interest in exploiting contextual information in addition to local features to detect and localize multiple object categories in an image. Context models ...
Myung Jin Choi, Joseph Lim, Antonio Torralba, Alan...
IVA
2009
Springer
16 years 1 months ago
Augmenting Gesture Animation with Motion Capture Data to Provide Full-Body Engagement
Abstract. Effective speakers engage their whole body when they gesture. It is difficult, however, to create such full body motion in animated agents while still supporting a large...
Pengcheng Luo, Michael Kipp, Michael Neff