13593 search results - page 588 / 2719 » Performance Analysis of MD5 |
184
click to vote
INFSOF
2006
15 years 7 months ago
2006
Discrete EVent Systems Specification (DEVS) formalism supports specification of discrete event models in a hierarchical modular manner. This paper proposes a DEVS modeling languag...
172
click to vote
CSDA
2007
15 years 7 months ago
2007
A new method for separating the mixtures of independent sources has been proposed recently in [8]. This method is based on two scatter matrices with the so called independence pro...
201
click to vote
PRL
2006
15 years 7 months ago
2006
A straight line detection algorithm is presented. The algorithm separates row and column edges from edge image using their primitive shapes. The edges are labeled, and the princip...
213
click to vote
AI
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. The protein family classification problem, which consists of determining the family memberships of given unknown protein sequences, is very important for a biologist for ...
207
click to vote
TAP
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. In this paper we report on our first experiences using the relational analysis provided by the Alloy tool with the theorem prover KIV in the context of specifications of ...