Sciweavers

3333 search results - page 237 / 667
» New Invariants for Groups
Sort
View
KI
2010
Springer
14 years 7 months 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
104
Voted
ACMDIS
2000
ACM
15 years 5 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 12 days 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
92
Voted
INTERSPEECH
2010
14 years 7 months 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 4 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