716 search results - page 90 / 144 » Modelling Bounded Rationality Using Evolutionary Techniques |
134
Voted
ENTCS
2008
15 years 3 months ago
2008
ion in PRISM1 Mark Kattenbelt Marta Kwiatkowska Gethin Norman David Parker Oxford University Computing Laboratory, Oxford, UK Modelling and verification of systems such as communi...
110
Voted
FOCS
2005
IEEE
15 years 9 months ago
2005
IEEE
We consider online problems where purchases have time durations which expire regardless of whether the purchase is used or not. The Parking Permit Problem is the natural analog of...
123
Voted
IMR
2004
Springer
15 years 9 months ago
2004
Springer
We propose a new two-dimensional meshing algorithm called PINW able to generate meshes that accurately approximate the distance between any two domain points by paths composed onl...
125
Voted
ACSD
2003
IEEE
15 years 7 months ago
2003
IEEE
In this paper test selection strategies in formal conformance testing are considered. As the testing conformance relation we use the ioco relation, and extend the previously prese...
159
Voted
ERSHOV
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. We address model checking problem for combination of Computation Tree Logic (CTL) and Propositional Logic of Knowledge (PLK) in finite systems with the perfect recall syn...