2050 search results - page 23 / 410 » A formal foundation for process modeling |
CCS
2003
ACM
15 years 2 months ago
2003
ACM
Security is a crucial aspect in any modern software system. To ensure security in the final product, security requirements must be considered in the entire software development p...
ICIP
2007
IEEE
15 years 11 months ago
2007
IEEE
This paper shows that the basic Hough transform is implicitly a Bayesian process--that it computes an unnormalized posterior distribution over the parameters of a single shape giv...
62
Voted
EACL
2003
ACL Anthology
14 years 11 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...
FOMI
2008
14 years 11 months ago
2008
I develop a few suggestions how formal ontology can meet industry and practice. This is not just a matter of useful ontology-based applications. That is a necessary but also rather...
AGI
2011
14 years 1 months ago
2011
Abstract. Recurrent connectivity, balanced between excitation and inhibition, is a general principle of cortical connectivity. We propose that balanced recurrence can be achieved b...