4074 search results - page 650 / 815 » Abstract Graph Transformation |
115
click to vote
CEC
2007
IEEE
15 years 8 months ago
2007
IEEE
Abstract— We recast the problem of unconstrained continuous evolutionary optimization as inference in a fixed graphical model. This approach allows us to address several pervasi...
148
click to vote
DASFAA
2007
IEEE
15 years 8 months ago
2007
IEEE
Abstract. Warehousing heterogeneous, dynamic biological data is a key technique for biological data integration as it greatly improves performance. However, it requires complex mai...
ICC
2007
IEEE
15 years 8 months ago
2007
IEEE
Abstract – Reed-Solomon (RS) codes are defined in several different ways which are not exactly equivalent. Distinct algorithms for encoding and decoding of RS codes have been dev...
125
click to vote
CAV
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. STP is a decision procedure for the satisfiability of quantifier-free formulas in the theory of bit-vectors and arrays that has been optimized for large problems encoun...
123
Voted
CISC
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Key privacy is a notion regarding the privacy of the owner of a public key, which has important applications in building (receiver) anonymous channels, or privacy-enhance...