3093 search results - page 169 / 619 » The Multi-perspective Process Explorer |
194
click to vote
FDL
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper presents work in progress to explore the possibility of combining model-driven and domain modeling techniques to facilitate support for reuse and automation. The approa...
139
click to vote
TPHOL
2002
IEEE
15 years 9 months ago
2002
IEEE
Abstract We present a formal semantics as a conservative shallow embedding of the Object Constraint Language (OCL). OCL is currently under development within an open standardizatio...
145
click to vote
DSD
2004
IEEE
15 years 8 months ago
2004
IEEE
Cellular Neural Networks are widely used with real-time image processing's applications. Such systems can be efficiently realized using macro enriched fieldprogrammable gate-...
115
click to vote
EACL
2003
ACL Anthology
15 years 6 months ago
2003
ACL Anthology
This paper explores the possibility of using the paradigm of Dynamic Logic (DL) to formalise information states and update processes on information states. In particular, we prese...
113
click to vote
ICIP
2005
IEEE
16 years 6 months ago
2005
IEEE
Parameter estimation is a key computational issue in all statistical image modeling techniques. In this paper, we explore a computationally efficient parameter estimation algorith...