Search results for "IWAR"

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

Publications at "IWAR"( http://dblp.L3S.de/Venues/IWAR )