571 search results - page 102 / 115 » Domain Theory in Logical Form |
BCSHCI
2009
14 years 7 months ago
2009
In this paper we discuss the different elements of the gaming experience and their relation to other concepts within HCI. The objective is to showcase how the different elements t...
IADIS
2003
14 years 11 months ago
2003
The objective of great investments in telecommunication networks is to approach economies and put an end to the asymmetries. The most isolated regions could be the beneficiaries o...
ICML
2004
IEEE
15 years 10 months ago
2004
IEEE
Inductive learning of first-order theory based on examples has serious bottleneck in the enormous hypothesis search space needed, making existing learning approaches perform poorl...
72
Voted
ATAL
2009
Springer
15 years 4 months ago
2009
Springer
ion in model checking multi-agent systems Mika Cohen Department of Computing Imperial College London London, UK Mads Dam Access Linnaeus Center Royal Institute of Technology Stockh...
EMSOFT
2004
Springer
15 years 3 months ago
2004
Springer
Embedded devices like smart cards can now run multiple interacting applications. A particular challenge in this domain is to dynamically integrate diverse security policies. In th...