Sciweavers

2188 search results - page 124 / 438
» group 2007
Sort
View
TABLEAUX
2007
Springer
15 years 10 months ago
A Tableau Method for Public Announcement Logics
Public announcement logic is an extension of multi-agent epistemic logic with dynamic operators to model the informational consequences of announcements to the entire group of agen...
Philippe Balbiani, Hans P. van Ditmarsch, Andreas ...
CANDC
2007
ACM
15 years 8 months ago
Exploring mutual engagement in creative collaborations
Group creativity is a fundamental form of human activity. In this paper we explore what constitutes mutually engaging interaction between people
Nick Bryan-Kinns, Patrick G. T. Healey, Joe Leach
EJC
2008
15 years 4 months ago
Pooling spaces associated with finite geometry
3 Motivated by the works of Ngo and Du [H. Ngo, D. Du, A survey on combinatorial group testing 4 algorithms with applications to DNA library screening, DIMACS Series in Discrete Ma...
Tayuan Huang, Kaishun Wang, Chih-wen Weng
CORR
2007
Springer
79views Education» more  CORR 2007»
15 years 4 months ago
Stop That Subversive Spreadsheet!
: This paper documents the formation of the European Spreadsheet Risks Interest Group (EuSpRIG www.eusprig.org) and outlines some of the research undertaken and reported upon by in...
David Chadwick
DM
2007
59views more  DM 2007»
15 years 4 months ago
Non-existence of nonorientable regular embeddings of n-dimensional cubes
By a regular embedding of a graph K into a surface we mean a 2-cell embedding of K into a compact connected surface with the automorphism group acting regularly on flags. Regular...
Young Soo Kwon, Roman Nedela