4460 search results - page 837 / 892 » Formal methods for interactive systems |
EGOV
2005
Springer
14 years 1 months ago
2005
Springer
One of the challenges citizens and businesses face in interacting with governments for entitled services or compliance services is to find the right set of regulations and rules th...
GECCO
2005
Springer
14 years 1 months ago
2005
Springer
In reinforcement learning problems it has been considered that neither exploitation nor exploration can be pursued exclusively without failing at the task. The optimal balance bet...
HUC
2005
Springer
14 years 1 months ago
2005
Springer
Using ethnographic methods, 28 young professionals across the global cities of London, Los Angeles, and Tokyo were studied to understand in some detail what items they carried with...
MM
2004
ACM
14 years 1 months ago
2004
ACM
This paper proposes a visual representation named scene tunnel to archive and visualize urban scenes for Internet based virtual tour. We scan cityscapes using multiple cameras on ...
NETGAMES
2004
ACM
14 years 1 months ago
2004
ACM
Local perception filters exploit the limitations of human perception to reduce the effects of network latency in multiplayer computer games. Because they allow temporal distorti...