Sciweavers

1387 search results - page 159 / 278
» Algorithms for Interactive Editing of Level Set Models
Sort
View
ATAL
2008
Springer
15 years 8 months ago
Stable cooperation in changing environments
This paper addresses the issue of emergence of robust cooperation among self-interested agents interacting in N-player social dilemma games. A series of graphs are created each ex...
Colm O'Riordan, Humphrey Sorensen
CAI
2006
Springer
15 years 6 months ago
Addressing the Conflicting Dimension of Groupware: A Case Study in Software Requirements Validation
This paper addresses the conflicting dimension of groupware, seeking the reconciliation of two very different assumptions about the users' attitudes using groupware tools: use...
Pedro Antunes, João Ramires, Ana Resp&iacut...
COMPULOG
1999
Springer
15 years 10 months ago
Decomposable Constraints
Many constraint satisfaction problems can be naturally and efficiently modelled using non-binary constraints like the “all-different” and “global cardinality” constraints...
Ian P. Gent, Kostas Stergiou, Toby Walsh
FSTTCS
2004
Springer
15 years 11 months ago
Symbolic Reachability Analysis of Higher-Order Context-Free Processes
We consider the problem of symbolic reachability analysis of higher-order context-free processes. These models are generalizations of the context-free processes (also called BPA pr...
Ahmed Bouajjani, Antoine Meyer
EURONGI
2006
Springer
15 years 10 months ago
Performance Analysis of Wireless Multihop Data Networks
We consider wireless multihop data networks with random multi-access mechanisms at the MAC layer. In general, our aim is to study the performance as perceived by users in a dynamic...
Nidhi Hegde, Alexandre Proutiére