4328 search results - page 397 / 866 » A New Kind of Science |
172
click to vote
CEC
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulae on the program variables. Most o...
167
click to vote
CEC
2008
IEEE
16 years 1 months ago
2008
IEEE
— In recent years, several approaches have been developed for genetic algorithms to enhance their performance in dynamic environments. Among these approaches, one kind of methods...
188
click to vote
IAT
2008
IEEE
16 years 1 months ago
2008
IEEE
We develop strategy/false-name-proof multi-unit auction protocols for non-quasi-linear utilities. One almost universal assumption in auction theory literature is that each bidder ...
178
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper, we propose a new scheduling algorithm for the overlapped message passing decoding, which can be applied to general low-density parity check (LDPC) codes. The partia...
220
click to vote
ICEIS
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract. Network Intrusion Detection Systems (NIDS) aim at preventing network attacks and unauthorised remote use of computers. More accurately, depending on the kind of attack it...