1268 search results - page 65 / 254 » One Logic to Use Them All |
IEAAIE
2000
Springer
14 years 1 months ago
2000
Springer
It has already been noted that the accurate prediction of societal responses requires the use of a formal model based on some social or cultural taxonomy. One such taxonomic candi...
DATE
2010
IEEE
14 years 1 months ago
2010
IEEE
Abstract—Supporting Distributed Shared Memory (DSM) is essential for multi-core Network-on-Chips for the sake of reusing huge amount of legacy code and easy programmability. We p...
ISCAS
2005
IEEE
14 years 3 months ago
2005
IEEE
— Simulated Evolution (SimE) is a sound stochastic approximation algorithm based on the principles of adaptation. If properly engineered it is possible for SimE to reach nearopti...
DAGSTUHL
2007
13 years 11 months ago
2007
Abstract. Well-founded orders are the most basic, but also most important ingredient to virtually all termination analyses. Numerous fully automated search algorithms for these cla...
FUZZIEEE
2007
IEEE
14 years 4 months ago
2007
IEEE
Abstract— In the resolution of group decision making problems the consensus process, that is, the process where experts discuss about the alternatives to narrow their differences...