Sciweavers

1370 search results - page 26 / 274
» On the Consistent Observation of Active Systems
Sort
View
125
Voted
HT
1997
ACM
15 years 8 months ago
Supporting User-defined Activity Spaces
Activity spaces are usually task-specific and only common to a group of people who work together in a certain application domain. It is desirable to enable users to define and mod...
Weigang Wang, Jörg M. Haake
JIIS
2008
104views more  JIIS 2008»
15 years 4 months ago
A framework for checking proofs naturally
We propose a natural framework, called NF, which supports development of formal proofs on a computer. NF is based on a theory of Judgments and Derivations. NF is designed by observ...
Masahiko Sato
PCM
2004
Springer
163views Multimedia» more  PCM 2004»
15 years 10 months ago
Sat-Cam: Personal Satellite Virtual Camera
We propose and describe a novel video capturing system called Sat-Cam that can observe and record the users’ activity from effective viewpoints to negate the effects of unstead...
Hansung Kim, Itaru Kitahara, Kiyoshi Kogure, Norih...
ACCV
2006
Springer
15 years 10 months ago
Dense 3D Reconstruction with an Uncalibrated Active Stereo System
In this paper, we describe a novel uncalibrated active stereo system using coded structured light. Structured-light-based active stereo systems generally consist of a camera and pr...
Hiroshi Kawasaki, Yutaka Ohsawa, Ryo Furukawa, Yas...
WSC
1997
15 years 5 months ago
The Use of Simulation in Activity-Based Costing for Flexible Manufacturing Systems
A framework to design simulation models is described in order to perform activity-based costing for flexible manufacturing systems before actual manufacturing activities. For illu...
Soemon Takakuwa