Sciweavers

1827 search results - page 56 / 366
» Automatic thesaurus construction
Sort
View
ISDA
2008
IEEE
15 years 12 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
131
Voted
3DPVT
2006
IEEE
156views Visualization» more  3DPVT 2006»
15 years 11 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»
15 years 11 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
162
Voted
MPC
1995
Springer
125views Mathematics» more  MPC 1995»
15 years 9 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
148
Voted
LREC
2010
162views Education» more  LREC 2010»
15 years 7 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