4460 search results - page 743 / 892 » Formal methods for interactive systems |
175
Voted
TITS
2010
14 years 10 months ago
2010
Visual surveillance is an active research topic in image processing. Transit systems are actively seeking new or improved ways to use technology to deter and respond to accidents, ...
117
Voted
ATAL
2011
Springer
14 years 4 months ago
2011
Springer
Recent work in communications and business modeling emphasizes a commitment-based view of interaction. By abstracting away from implementation-level details, commitments can poten...
310
click to vote
ECWEB
2011
Springer
14 years 3 months ago
2011
Springer
The community of multi-agent systems has been studying ways to improve the selection of partner agents for joint action. One of such approaches consists in estimating the trustwort...
131
click to vote
ISVC
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Understanding intent is an important aspect of communication among people and is an essential component of the human cognitive system. This capability is particularly rel...
150
click to vote
ACMACE
2005
ACM
15 years 9 months ago
2005
ACM
Over the past few years, the prominence of multiplayer network gaming has increased dramatically in the Internet. The effect of network delay (lag) on multiplayer network gaming h...