716 search results - page 83 / 144 » Modelling Bounded Rationality Using Evolutionary Techniques |
134
Voted
ECCC
2008
15 years 3 months ago
2008
Any proof of P = NP will have to overcome two barriers: relativization and natural proofs. Yet over the last decade, we have seen circuit lower bounds (for example, that PP does n...
139
Voted
IJSKD
2011
14 years 10 months ago
2011
Meta-design of socio-technical systems is an approach which complies with the need of integrating two different types of structures and processes: technical systems which are engi...
137
Voted
CP
2005
Springer
15 years 9 months ago
2005
Springer
In this paper we show how Constraint Programming (CP) techniques can improve the efficiency and applicability of grid-based algorithms for optimising surface contact between comple...
105
click to vote
SEFM
2007
IEEE
15 years 10 months ago
2007
IEEE
Directed model checking algorithms focus computation resources in the error-prone areas of concurrent systems. The algorithms depend on some empirical analysis to report their per...
141
Voted
CSFW
2010
IEEE
15 years 7 months ago
2010
IEEE
Mobile ad hoc networks consist of mobile wireless devices which autonomously organize their infrastructure. In such a network, a central issue, ensured by routing protocols, is to ...