1573 search results - page 114 / 315 » Signs and Formal Concepts |
117
Voted
ISMM
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. We present a programming framework for discrete mathematical morphology centered on the concept of genericity. We show that formal definitions of morphological algorithm...
107
click to vote
WINE
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. We show a formal duality between certain equilibrium concepts, including the correlated and coarse correlated equilibrium, and analysis frameworks for proving bounds on t...
109
Voted
ELPUB
2006
ACM
15 years 7 months ago
2006
ACM
The paper gives an overview of recent developments in Sweden concerning the communication and reception of the Open Access concept and the growth and co-ordination of digital acad...
100
click to vote
ESORICS
2009
Springer
16 years 2 months ago
2009
Springer
We present a formal model for stateful security protocols. This model is used to define ownership and ownership transfer as concepts as well as security properties. These definitio...
102
click to vote
IFM
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. To model real-life critical systems, one needs“high-level”languages to express three important concepts: complex data structures, concurrency, and real-time. So far, ...