Sciweavers

3341 search results - page 158 / 669
» A Communication Virtual Machine
Sort
View
131
Voted
FM
2003
Springer
146views Formal Methods» more  FM 2003»
15 years 8 months ago
Interacting State Machines for Mobility
We present two instantiations of generic Interactive State Machines (ISMs) with mobility features which are useful for modeling and verifying dynamically changing mobile systems. I...
Thomas A. Kuhn, David von Oheimb
139
Voted
JMLR
2010
169views more  JMLR 2010»
14 years 10 months ago
Consensus-Based Distributed Support Vector Machines
This paper develops algorithms to train support vector machines when training data are distributed across different nodes, and their communication to a centralized processing unit...
Pedro A. Forero, Alfonso Cano, Georgios B. Giannak...
109
Voted
AI
2007
Springer
15 years 7 months ago
Performance Measures in Classification of Human Communications
This study emphasizes the importance of using appropriate measures in particular text classification settings. We focus on methods that evaluate how well a classifier performs. The...
Marina Sokolova, Guy Lapalme
123
Voted
JSC
2007
72views more  JSC 2007»
15 years 3 months ago
Linear syntax for communicating elementary mathematics
We consider computer aided assessment (CAA) of mathematics in which a student provides an answer in the form of a mathematical expression. A common approach is for CAA system impl...
Christopher J. Sangwin, P. Ramsden
128
Voted
HICSS
2010
IEEE
164views Biometrics» more  HICSS 2010»
15 years 10 months ago
Embodied Social Presence Theory
We discuss and reflect on the importance of embodiment, context, and spatial proximity as they pertain to the sense of presence obtained by individuals in virtual environments. We...
Brian E. Mennecke, Janea L. Triplett, Lesya M. Has...