6608 search results - page 914 / 1322 » On the Completeness of Model Checking |
185
click to vote
AI
2007
Springer
15 years 7 months ago
2007
Springer
In many decision making problems, a number of independent attributes or criteria are often used to individually rate an alternative from an agent’s local perspective and then th...
137
click to vote
ANOR
2007
15 years 7 months ago
2007
This paper examines the investment behaviour of an incumbent and a potential entrant that are competing for a patent with a stochastic payo . We incorporate asymmetric information...
134
click to vote
COR
2010
15 years 7 months ago
2010
This paper studies a new generalization of the regular permutation flowshop scheduling problem (PFSP) referred to as the distributed permutation flowshop scheduling problem or DPF...
181
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
We present a detailed study about the role of the short-cuts of a network in promoting the emergence of cooperation in a population of agents playing the Prisoner's Dilemma Ga...
188
click to vote
IPL
2008
15 years 6 months ago
2008
We consider the online problem of scheduling jobs with equal processing times on a single machine. Each job has a release time and a deadline, and the goal is to maximize the numb...