6757 search results - page 104 / 1352 » Knowledge Analysis on Process Models |
149
click to vote
FLAIRS
2007
15 years 6 months ago
2007
Episodic knowledge is often stored in the form of textual narratives written in natural language. However, a large repository of such narratives will contain both repetitive and n...
138
click to vote
COLT
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. The Gram matrix plays a central role in many kernel methods. Knowledge about the distribution of eigenvalues of the Gram matrix is useful for developing appropriate model...
140
click to vote
ECAI
2004
Springer
15 years 10 months ago
2004
Springer
To enable the development of automated support for the dynamics of design processes, a challenge is to model and analyse such dynamics in a formal manner. This paper contributes a ...
183
click to vote
CSFW
2000
IEEE
15 years 9 months ago
2000
IEEE
Some of the non interference properties studied in [4, 6, 18] for information flow analysis in computer systems, notably Æ , are reformulated here in a realtime setting. This is...
148
click to vote
AI
2008
Springer
15 years 4 months ago
2008
Springer
Verification of reachability properties for probabilistic systems is usually based on variants of Markov processes. Current methods assume an exact model of the dynamic behavior a...