2748 search results - page 177 / 550 » Modelling Fuzzy Sets Using Object-Oriented Techniques |
147
click to vote
CEC
2005
IEEE
15 years 10 months ago
2005
IEEE
New results are presented for the prediction of secondary structure information for protein sequences using Hidden Markov Models (HMMs) evolved using a Genetic Algorithm (GA). We a...
125
click to vote
ICDCSW
2000
IEEE
15 years 9 months ago
2000
IEEE
We introduce a technique that can be used to model the behaviour of protocols. In our model each process within a protocol belongs to a particular class. A set of rules governs th...
130
Voted
FMICS
2008
Springer
15 years 6 months ago
2008
Springer
Different approaches have been developed to mitigate the state space explosion of model checking techniques. Among them, symbolic verification techniques use efficient representati...
154
click to vote
NDSS
2009
IEEE
15 years 11 months ago
2009
IEEE
Many existing privacy-preserving techniques for querying distributed databases of sensitive information do not scale for large databases due to the use of heavyweight cryptographi...
144
click to vote
GRAPHICSINTERFACE
2001
15 years 6 months ago
2001
Simplification techniques have mainly been applied on static models. However in movie and game industries, many models are designed to be animated. We extend the progressive mesh ...