Sciweavers

1370 search results - page 26 / 274
» On the Consistent Observation of Active Systems
Sort
View
154
Voted
HT
1997
ACM
15 years 9 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 6 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
168
Voted
PCM
2004
Springer
163views Multimedia» more  PCM 2004»
15 years 11 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
16 years 3 days 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 7 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