Sciweavers

43 search results - page 7 / 9
» Canonical Institutions of Behaviour
Sort
View
DALT
2003
Springer
15 years 2 months ago
Modeling Interactions Using Social Integrity Constraints: A Resource Sharing Case Study
Computees are abstractions of the entities that populate global and open computing environments. The societies that they populate give an institutional meaning to their interaction...
Marco Alberti, Marco Gavanelli, Evelina Lamma, Pao...
90
Voted
MDAI
2007
Springer
15 years 3 months ago
Voting in the Medieval Papacy and Religious Orders
We take institutions seriously as both a rational response to dilemmas in which agents found themselves and a frame to which later rational agents adapted their behaviour in turn....
Ian McLean, Haidee Lorrey, Josep Colomer
LICS
2003
IEEE
15 years 2 months ago
Model-checking Trace Event Structures
Given a regular collection of Mazurkiewicz traces, which can be seen as the behaviours of a finite-state concurrent system, one can associate with it a canonical regular event st...
P. Madhusudan
150
Voted
IJCV
2010
574views more  IJCV 2010»
14 years 8 months ago
Time-Delayed Correlation Analysis for Multi-Camera Activity Understanding
We propose a novel approach to understanding activities from their partial observations monitored through multiple non-overlapping cameras separated by unknown time gaps. In our...
Chen Change Loy, Tao Xiang, Shaogang Gong
PATAT
2004
Springer
148views Education» more  PATAT 2004»
15 years 2 months ago
Interactively Solving School Timetabling Problems Using Extensions of Constraint Programming
Timetabling problems have been frequently studied due to their wide range of applications. However, they are often solved manually because of the lack of appropriate computer tools...
Hadrien Cambazard, Fabien Demazeau, Narendra Jussi...