C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
IWAR
1992
1994
1997
1999
1992
1999
Keyphrases
Publications
1999
Steven K. Feiner
The importance of being mobile: some social consequences of wearable augmented reality systems.
IWAR
(1999)
Wayne Piekarski
,
Bernard K. Gunther
,
Bruce H. Thomas
Integrating virtual and augmented realities in an outdoor application.
IWAR
(1999)
Didier Stricker
,
Nassir Navab
Calibration propagation for image augmentation.
IWAR
(1999)
Johan A. Pouwelse
,
Koen Langendoen
,
Henk J. Sips
A feasible low-power augmented-reality terminal.
IWAR
(1999)
Thomas Auer
,
Axel Pinz
Building a hybrid tracking system: integration of optical and magnetic tracking.
IWAR
(1999)
Nassir Navab
,
Benedicte Bascle
,
Mirko Appel
,
Echeyde Cubillo
Scene augmentation via the fusion of industrial drawings and uncalibrated images with a view to marker-less calibration.
IWAR
(1999)
Hirokazu Kato
,
Mark Billinghurst
Marker tracking and HMD calibration for a video-based augmented reality conferencing system.
IWAR
(1999)
Erin McGarrity
,
Mihran Tuceryan
A method for calibrating see-through head-mounted displays for AR.
IWAR
(1999)
Ramesh Raskar
,
Greg Welch
,
Wei-Chao Chen
Table-top spatially-augmented realty: bringing physical models to life with projected imagery.
IWAR
(1999)
Nassir Navab
,
A. Bani-Kashemi
,
Matthias Mitschke
Merging visible and invisible: two Camera-Augmented Mobile C-arm (CAMC) applications.
IWAR
(1999)
Andreas Butz
,
Tobias Höllerer
,
Steven Feiner
,
Blair MacIntyre
,
Clifford Beshers
Enveloping users and computers in a collaborative 3D augmented reality.
IWAR
(1999)
Lin Chai
,
Khoi Nguyen
,
Bill Hoff
,
Tyrone Vincent
An adaptive estimator for registration in augmented reality.
IWAR
(1999)
Jun Park
,
Bolan Jiang
,
Ulrich Neumann
Vision-based pose computation: robust and accurate augmented reality tracking.
IWAR
(1999)
2nd IEEE and ACM International Workshop on Augmented Reality, IWAR '99, San Francisco, CA, USA, October 20-21, 1999
IWAR
(1999)
Gilles Simon
,
Marie-Odile Berger
Registration with a zoom lens camera for augmented reality applications.
IWAR
(1999)
Yasuhiro Mukaigawa
,
Sadahiko Mihashi
,
Takeshi Shakunaga
Photometric image-based rendering for virtual lighting image synthesis.
IWAR
(1999)
1992
Shang-Ching Chou
,
Xiao-Shan Gao
Automated Reasoning in Differential Geometry and Mechanics Using Characteristic Method.
IWAR
(1992)
Jian-Hong Li
,
Seiichi Nishihara
A Constraint Satisfaction Algorithm Using Solution Trees and its Complexity.
IWAR
(1992)
Jianguo Lu
,
Bo Yi
An Approach to Analogical Theorem Proving.
IWAR
(1992)
Huaiming Sun
,
Qun Liang
A Theory of Automatic Logic Programming Based on Second Order Term Rewriting Technique.
IWAR
(1992)
Lejian Liao
,
Zhongzhi Shi
Default Reasoning in Constraint Network.
IWAR
(1992)
Zuoquan Lin
Experiential Logic.
IWAR
(1992)
Xudong Luo
A Study of Probability-Based Uncertain Reasoning Models in Rule-Based Expert Systems: Prospector-Type Schemes.
IWAR
(1992)
Subir Bhattacharya
,
Amitava Bagchi
QuickGame: A Compromise Between Pure Depth-first and Pure Best-first Game Tree Search Strategies.
IWAR
(1992)
Automated Reasoning, Proceedings of the IFIP TC12/WG12.3 International Workshop on Automated Reasoning, Beijing, P.R. China, 13-16 July 1992
IWAR
(1992)
Min Wang
,
Zuohan Gao
Pansystems Analysis Forecasting Theory and Rada Auto-Prediction.
IWAR
(1992)
Seiki Akama
,
Hiroto Ohnishi
Overview of Non-monotonic Deduction Systems.
IWAR
(1992)
Lan-di Shan
,
Tadashi Nagata
Reasoning about Actions with Bidirectional Approach BI-STRIPS.
IWAR
(1992)
Pei He
,
Renwei Li
,
Wenhui Zhang
Theory and Practice for XYZ/VERI System.
IWAR
(1992)
Neng-Fa Zhou
,
Isao Nagasawa
Implementing Graph Algorithms in BeTa-Prolog.
IWAR
(1992)
Ji Wang
,
Huowang Chen
Temporal Reasoning About Real Time Reactive Systems.
IWAR
(1992)
Jozef Sajda
Uncertainty Measures of Separable Fuzzy Temporal Propositions.
IWAR
(1992)
Zongming Fei
,
Jiafu Xu
The Directed Inference and Its Role in NDSAIL System.
IWAR
(1992)
Qing Shen
,
Quanyuan Wu
Automated Reasoning on Prime Weighted Neural Network.
IWAR
(1992)
V. N. Vagin
Parallel Inference on Logical Networks.
IWAR
(1992)
Andreas V. Hense
,
Gert Smolka
A Verification of Extensible Record Types.
IWAR
(1992)
Shuji Wang
,
Jianbo Zou
Pansystems Inference Model and Its Applications.
IWAR
(1992)
Yihua Wu
,
Jiesheng Wang
A General Framework of Qualitative Kinematics.
IWAR
(1992)
Wei Li
Towards a Theory of Epistemic Processes.
IWAR
(1992)
Xuemou Wu
,
Dinghe Guo
,
Liao Ming
,
Zan Tingquan
,
Yongli Li
,
Zhang Yuxiang
Pansystems Philosophical Logic: A Servey.
IWAR
(1992)
Branimir Seselja
,
Andreja Tepavcevic
Fuzzy Boolean Algebras.
IWAR
(1992)
Shuo Bai
Reasoning by Argueing: A Game-Theoretic Approach.
IWAR
(1992)
Zili Chen
,
Qingwen Cheng
,
Yungcong Xu
,
Jinwen Zhang
.
IWAR
(1992)
Armand de Callataÿ
Logical Reasoning in Symbolic Neural Networks.
IWAR
(1992)
Zhongzhi Shi
,
Xudong Luo
NLPM: An Approach for Nonmonotonic Reasoning Based on Linguistic Probability.
IWAR
(1992)
Xiao-Shan Gao
An Introduction to Wu's Method of Mechanical Geometry Theorem Proving.
IWAR
(1992)
Baodong Li
,
Zhongzhi Shi
Case Retrieval Based on Memory Network.
IWAR
(1992)
Masateru Harao
Analogical Reasoning for L K Theorem Proving.
IWAR
(1992)
Ryuzo Hasegawa
,
Miyuki Koshimura
,
Hiroshi Fujita
Lazy Model Generation For Improving The Efficiency of Forward Reasoning Theorem Provers.
IWAR
(1992)