Sciweavers

3333 search results - page 237 / 667
» New Invariants for Groups
Sort
View
KI
2010
Springer
15 years 23 days ago
Differential Dynamic Logics
Hybrid systems are models for complex physical systems and are defined as dynamical systems with interacting discrete transitions and continuous evolutions along differential equa...
André Platzer
ACMDIS
2000
ACM
15 years 10 months ago
From Usability Lab to "Design Collaboratorium": Reframing Usability Practice
This paper presents an exploratory process in which three industrial usability groups, in cooperation with HCI researchers, worked to reframe their own work practice. The usabilit...
Jacob Buur, Susanne Bødker
JDM
1998
101views more  JDM 1998»
15 years 5 months ago
Fault-Tolerant Quorum Consensus Scheme for Replication Control in Mobile Distributed Database Systems
We propose a new replication control scheme for multiple-copy consistency in mobile distributed database systems. Replicating data at multiple sites could contribute to enhance th...
Siwoo Byun, Songchun Moon
INTERSPEECH
2010
15 years 24 days ago
Constructing Japanese test collections for spoken term detection
Spoken Document Retrieval (SDR) and Spoken Term Detection (STD) have been two of the most intensively investigated topics in spoken document processing research according to the e...
Yoshiaki Itoh, Hiromitsu Nishizaki, Xinhui Hu, Hir...
CHI
2011
ACM
14 years 9 months ago
Collaborative creativity: a complex systems model with distributed affect
The study of creativity has received significant attention over the past century, with a recent increase in interest in collaborative, distributed creativity. We posit that creati...
Cecilia R. Aragon, Alison Williams