5643 search results - page 887 / 1129 » Retrieval Evaluation in Practice |
185
click to vote
FM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. The Alloy modeling language has a mathematically rigorous denotational semantics based on relational algebra. Alloy specifications often represent operations on a state,...
184
click to vote
ICCS
2009
Springer
16 years 1 months ago
2009
Springer
Current mathematical modeling methods for the spreading of infectious diseases are too simplified and do not scale well. We present the Simulator of Epidemic Evolution in Complex ...
206
click to vote
ICIAR
2009
Springer
16 years 1 months ago
2009
Springer
Image fusion is the task of enhancing the perception of a scene by combining information captured by different imaging sensors. A critical issue in the design of image fusion algo...
201
click to vote
ISEUD
2009
Springer
16 years 1 months ago
2009
Springer
Companies are operating in a dynamic environment, resulting in a continuous need of adapting used information systems to changing business processes and associated information need...
193
click to vote
ISW
2009
Springer
16 years 1 months ago
2009
Springer
The recently started SHA-3 competition in order to find a new secure hash standard and thus a replacement for SHA-1/SHA-2 has attracted a lot of interest in the academic world as ...