Sciweavers

2043 search results - page 178 / 409
» Some Basics on Tolerances
Sort
View
ICIP
2001
IEEE
16 years 8 months ago
Automatic multi-modal dialogue scene indexing
An automatic algorithm for indexing dialogue scenes in multimedia content is proposed. The content is segmented into dialogue scenes using the state transitions of a hidden Markov...
A. Aydin Alatan
DAC
2004
ACM
16 years 7 months ago
Characterizing embedded applications for instruction-set extensible processors
Extensible processors, which allow customization for an application domain by extending the core instruction set architecture, are becoming increasingly popular for embedded syste...
Pan Yu, Tulika Mitra
ICML
2006
IEEE
16 years 7 months ago
Semi-supervised nonlinear dimensionality reduction
The problem of nonlinear dimensionality reduction is considered. We focus on problems where prior information is available, namely, semi-supervised dimensionality reduction. It is...
Xin Yang, Haoying Fu, Hongyuan Zha, Jesse L. Barlo...
CHI
2003
ACM
16 years 7 months ago
Establishing remote conversations through eye contact with physical awareness proxies
We present a mechanism for initiating mediated conversations through eye contact. An eyePHONE is a physical proxy of a remote individual that senses and conveys attention using an...
Baha Jabarin, James Wu, Roel Vertegaal, Lenko Grig...
CADE
2005
Springer
16 years 6 months ago
A Focusing Inverse Method Theorem Prover for First-Order Linear Logic
We present the theory and implementation of a theorem prover for first-order intuitionistic linear logic based on the inverse method. The central proof-theoretic insights underlyin...
Kaustuv Chaudhuri, Frank Pfenning