Sciweavers

1827 search results - page 56 / 366
» Automatic thesaurus construction
Sort
View
ISDA
2008
IEEE
14 years 4 months ago
Constructing Intelligent Living Space Controlling System with Bluetooth and Speech-Recognition Microprocessor
This study focused on designing an intelligent living-space with automatic control system to control all home appliances in the space. First of all, the system was constructed wit...
Chun-Liang Hsu, Sheng-Yuan Yang
3DPVT
2006
IEEE
156views Visualization» more  3DPVT 2006»
14 years 4 months ago
Visual Hull Construction in the Presence of Partial Occlusion
In this paper, we propose a visual hull algorithm, which guarantees a correct construction even in the presence of partial occlusion, while “correct” here means that the real ...
Li Guan, Sudipta N. Sinha, Jean-Sébastien F...
3DPVT
2006
IEEE
210views Visualization» more  3DPVT 2006»
14 years 4 months ago
Multiview 3D Tracking with an Incrementally Constructed 3D Model
We propose a multiview tracking method for rigid objects. Assuming that a part of the object is visible in at least two cameras, a partial 3D model is reconstructed in terms of a ...
Karel Zimmermann, Tomás Svoboda, Jiri Matas
MPC
1995
Springer
125views Mathematics» more  MPC 1995»
14 years 1 months ago
Synthesizing Proofs from Programs in the Calculus of Inductive Constructions
We want to prove \automatically" that a program is correct with respect to a set of given properties that is a speci cation. Proofs of speci cations contain logical parts and ...
Catherine Parent
LREC
2010
162views Education» more  LREC 2010»
13 years 11 months ago
Construction of a Benchmark Data Set for Cross-lingual Word Sense Disambiguation
Given the recent trend to evaluate the performance of word sense disambiguation systems in a more application-oriented set-up, we report on the construction of a multilingual benc...
Els Lefever, Véronique Hoste