Sciweavers

375 search results - page 9 / 75
» Group announcement logic
Sort
View
82
Voted
HICSS
2002
IEEE
126views Biometrics» more  HICSS 2002»
15 years 4 months ago
Development of a Decision Logic to Support Group Improvisation: An Application to Emergency Response
This paper reviews recent progress in the development of a computer-based system for supporting improvised group decision making in risky, time-constrained situations. One goal of...
David Mendonça, William A. Wallace
AML
2004
89views more  AML 2004»
14 years 11 months ago
The logic of equilibrium and abelian lattice ordered groups
We introduce a deductive system Bal which models the logic of balance of opposing forces or of balance between conflicting evidence or influences. "Truth values" are int...
Adriana Galli, Renato A. Lewin, Marta Sagastume
69
Voted
IGPL
2000
69views more  IGPL 2000»
14 years 11 months ago
Generating hard tautologies using predicate logic and the symmetric group
Søren Riis, Meera Sitharam
COMCOM
2008
87views more  COMCOM 2008»
14 years 11 months ago
Providing VANET security through active position detection
Vehicle position is one of the most valuable pieces of information in a Vehicular Adhoc NETwork (VANET). The main contribution of this work is a novel approach to enhancing positi...
Gongjun Yan, Stephan Olariu, Michele C. Weigle