6039 search results - page 26 / 1208 » The Function Space of an Activity |
CORR
2012
Springer
12 years 3 months ago
2012
Springer
ECAI
1998
Springer
14 years 1 days ago
1998
Springer
Abstract: Lazy computation is not new in model-based diagnosis of active systems (and of discreteevent systems in general). Up to a decade ago, diagnosis methods for discrete-event...
ICANN
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. Over the last few years, functional Magnetic Resonance Imaging (fMRI) has emerged as a new and powerful method to map the cognitive states of a human subject to specific...
JGO
2008
13 years 7 months ago
2008
When dealing with convex functions defined on a normed vector space X the biconjugate is usually considered with respect to the dual system (X, X ), that is, as a function defined...
CSFW
2002
IEEE
14 years 24 days ago
2002
IEEE
The strand spaces model and the rank functions model have both been used successfully to analyse and verify security protocols running on unbounded networks. At first sight, thes...