5754 search results - page 148 / 1151 » Multi-class Model M |
111
click to vote
GECCO
2005
Springer
15 years 10 months ago
2005
Springer
Building upon the interactive inversion method introduced by Ashburn and Bonabeau (2004), we show how to dramatically improve the results by exploiting modularity and by letting t...
120
click to vote
LPAR
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. The paper presents a combination of interactive and automatic tools in the area of software verification. We have integrated a newly developed software model checker int...
132
click to vote
ACSAC
2003
IEEE
15 years 10 months ago
2003
IEEE
In [1], we proposed a model for policy-based intrusion detection, based on information flow control. In the present paper, we show its applicability and effectiveness on a stand...
122
click to vote
ECAL
2001
Springer
15 years 9 months ago
2001
Springer
We present a new model of human mate choice incorporating non-negligible courtship time. The courtship period is used by individuals to strategically swap to better partners when t...
133
click to vote
ITC
1999
IEEE
15 years 9 months ago
1999
IEEE
Resistive bridging faults in combinational CMOS circuits are studied in this work. Circuit-level models are ed to voltage behavior for use in voltage-level fault simulation and te...