652 search results - page 88 / 131 » Structural Patterns for Soundness of Business Process Models |
ISVC
2007
Springer
15 years 4 months ago
2007
Springer
We present a novel multi-modal haptic interface for sketching and exploring the structure and properties of mathematical knots. Our interface derives from the familiar pencil-and-p...
JFP
2010
14 years 9 months ago
2010
Session types support a type-theoretic formulation of structured patterns of communication, so that the communication behaviour of agents in a distributed system can be verified ...
IEEEVAST
2010
14 years 5 months ago
2010
Text visualization becomes an increasingly more important research topic as the need to understand massive-scale textual information is proven to be imperative for many people and...
DAGM
2010
Springer
14 years 10 months ago
2010
Springer
The selection of an optical flow method is mostly a choice from among accuracy, efficiency and ease of implementation. While variational approaches tend to be more accurate than lo...
109
click to vote
JMLR
2010
14 years 5 months ago
2010
Learning dynamic Bayesian network structures provides a principled mechanism for identifying conditional dependencies in time-series data. An important assumption of traditional D...