4762 search results - page 669 / 953 » About the use of protein models |
104
click to vote
ATAL
2010
Springer
15 years 2 months ago
2010
Springer
Alternating-time Temporal Logic (ATL) [1] is used to reason about strategic abilities of agents. Aiming at strategies that can realistically be implemented in software, many varia...
GECCO
2008
Springer
15 years 2 months ago
2008
Springer
The landscape formalism unites a finite candidate solution set to a neighborhood topology and an objective function. This construct can be used to model the behavior of local sea...
153
Voted
SIGIR
2010
ACM
15 years 1 months ago
2010
ACM
Microblog services let users broadcast brief textual messages to people who "follow" their activity. Often these posts contain terms called hashtags, markers of a post&#...
105
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. While distributed systems with transfer of processes have become pervasive, methods for reasoning about their behaviour are underdeveloped. In this paper we develop a bis...
119
click to vote
CAI
2006
Springer
15 years 1 months ago
2006
Springer
This paper addresses the conflicting dimension of groupware, seeking the reconciliation of two very different assumptions about the users' attitudes using groupware tools: use...