4211 search results - page 703 / 843 » A formal approach to MASQ |
173
click to vote
IPMI
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. We propose a novel algorithm called graph-shifts for performing image segmentation and labeling. This algorithm makes use of a dynamic hierarchical representation of the ...
161
click to vote
LPAR
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. In formal approaches, messages sent over a network are usually modeled by terms together with an equational theory, axiomatizing the properties of the cryptographic funct...
154
click to vote
MODELS
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. Alloy is a formal language, which has been applied to modelling of systems in a wide range of application domains. It is supported by Alloy Analyzer, a tool, which allows...
159
click to vote
MODELS
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. Since the seminal book by the Gang of Four, design patterns have proven an important tool in software development. Over time, more and more patterns have been discovered ...
171
click to vote
MTSR
2007
Springer
16 years 18 days ago
2007
Springer
In this paper we identify the requirements for creating formal descriptions of learning scenarios designed under the European Higher Education Area paradigm, using competences and ...