533 search results - page 82 / 107 » Intensional Models for the Theory of Types |
WDAG
2009
Springer
14 years 2 months ago
2009
Springer
We study the convergence times of dynamics in games involving graphical relationships of players. Our model of local interaction games generalizes a variety of recently studied ga...
ATAL
2007
Springer
14 years 1 months ago
2007
Springer
Failures in plan execution can be attributed to errors in the execution of plan steps or violations of the plan structure. The structure of a plan prescribes which actions have to...
CIKM
2007
Springer
14 years 1 months ago
2007
Springer
Query translation in Cross Language Information Retrieval (CLIR) can be performed using multiple resources. Previous attempts to combine different translation resources use simple...
HICSS
2006
IEEE
14 years 1 months ago
2006
IEEE
In building a successful website it is imperative that the design matches the organization’s objectives, which should be well defined. Clearly, different types of websites will ...
HICSS
2005
IEEE
14 years 1 months ago
2005
IEEE
In the past decade outsourcing a software system’s support and maintenance has become relatively common across most organizations. In this paper we consider a few issues governi...