Sciweavers

1156 search results - page 89 / 232
» The PENG System: Practice and Experience
Sort
View
VMCAI
2009
Springer
15 years 6 months ago
Mixed Transition Systems Revisited
—A variety of partial modeling formalisms, aimed re and reason about abstractions, have been proposed. Some, e.g., Kripke Modal Transition Systems (KMTSs) put strong restrictions...
Ou Wei, Arie Gurfinkel, Marsha Chechik
ICDCSW
2009
IEEE
15 years 5 months ago
Joint Sleep Scheduling and Mode Assignment in Wireless Cyber-Physical Systems
Designing cyber-physical systems with high efficiency, adaptability, autonomy, reliability and usability is a challenging task. In this paper, we focus on minimizing networkwide ...
Chun Jason Xue, Guoliang Xing, Zhaohui Yuan, Zili ...
AI
2009
Springer
15 years 5 months ago
An Ontology-Based Spatial Clustering Selection System
Spatial clustering, which groups similar spatial objects into classes, is an important research topic in spatial data mining. Many spatial clustering methods have been developed re...
Wei Gu, Xin Wang, Danielle Ziébelin
VRST
2009
ACM
15 years 5 months ago
Wearable imaging system for capturing omnidirectional movies from a first-person perspective
We propose a novel wearable imaging system that can capture omnidirectional movies from the viewpoint of the camera wearer. The imaging system solves the problems of resolution un...
Kazuaki Kondo, Yasuhiro Mukaigawa, Yasushi Yagi
ICMCS
2006
IEEE
140views Multimedia» more  ICMCS 2006»
15 years 5 months ago
Webdove: a Web-Based Collaboration System for Physical Tasks
While many systems are available for audio-visual people collaboration and data collaboration, systems for collaboration on physical objects are few. In this paper, we present Web...
Weiyi Yang, Jiazhi Ou, Yong Rut, Jie Yang