Sciweavers

1871 search results - page 83 / 375
» The Ephemeral Pairing Problem
Sort
View
ICASSP
2011
IEEE
14 years 2 months ago
Simultaneous SDR optimality via a joint matrix decomposition
Abstract—This work considers the joint source-channel problem of transmitting a Gaussian source over a two-user multipleinput multiple-output (MIMO) broadcast channel. We show th...
Yuval Kochman, Anatoly Khina, Uri Erez
IJCAI
2003
15 years 18 days ago
Formal Verification of Diagnosability via Symbolic Model Checking
This paper addresses the formal verification of diagnosis systems. We tackle the problem of diagnosability: given a partially observable dynamic system, and a diagnosis system obs...
Alessandro Cimatti, Charles Pecheur, Roberto Cavad...
EVOW
2001
Springer
15 years 3 months ago
A Constructive Evolutionary Approach to School Timetabling
This work presents a constructive approach to the process of fixing a sequence of meetings between teachers and students in a prefixed period of time, satisfying a set of constrain...
Geraldo Ribeiro Filho, Luiz Antonio Nogueira Loren...
ICIP
2002
IEEE
16 years 24 days ago
Fingerprint matching based on error propagation
Fingerprint matching is one of the most important modules in automatic fingerprint identification systems (AFIS). Traditional methods treat this problem as point pattern matching,...
Ying Hao, Tieniu Tan, Yunhong Wang
ICML
2008
IEEE
16 years 21 hour ago
Active kernel learning
Identifying the appropriate kernel function/matrix for a given dataset is essential to all kernel-based learning techniques. A variety of kernel learning algorithms have been prop...
Steven C. H. Hoi, Rong Jin