Sciweavers

455 search results - page 45 / 91
» First Experimental Results of ProbCut Applied to Chess
Sort
View
ISCC
2005
IEEE
15 years 12 months ago
A Label Space Reduction Algorithm for P2MP LSPs Using Asymmetric Tunnels
- Traffic Engineering objective is to optimize network resource utilization. Although several works have been published about minimizing network resource utilization, few works hav...
Fernando Solano, Ramón Fabregat, Yezid Dono...
VMCAI
2005
Springer
15 years 11 months ago
Optimizing Bounded Model Checking for Linear Hybrid Systems
Bounded model checking (BMC) is an automatic verification method that is based on a finite unfolding of the system’s transition relation. BMC has been successfully applied, in ...
Erika Ábrahám, Bernd Becker, Felix K...
JCDL
2004
ACM
102views Education» more  JCDL 2004»
15 years 11 months ago
Multi-modal classification in digital news libraries
This paper describes a comprehensive approach to construct robust multi-modal video classification on a specific digital source, broadcast news. Broadcast news has a very stable s...
Ming-yu Chen, Alexander G. Hauptmann
ICAT
2003
IEEE
15 years 11 months ago
SpaceSensor: Real-time Gesture Tracking for I-NEXT
In this paper, we propose a real-time gesture tracking technique for the personalized user interface exploiting non-contact 3D vision technique. We first separate a user of intere...
Dongpyo Hong, Woontack Woo
ISCAS
2003
IEEE
106views Hardware» more  ISCAS 2003»
15 years 11 months ago
Content based photograph slide show with incidental music
In this paper, we proposed a new scheme to generate photograph slide show with incidental music based on the content of the photographs and music. Unlike existing photograph slide...
Xian-Sheng Hua, Lie Lu, HongJiang Zhang