Sciweavers

2560 search results - page 125 / 512
» Contributions to zero-sum problems
Sort
View
LOGCOM
2010
120views more  LOGCOM 2010»
13 years 9 months ago
Arithmetical Complexity of First-order Predicate Fuzzy Logics Over Distinguished Semantics
All promiment examples of first-order predicate fuzzy logics are undecidable. This leads to the problem of the arithmetical complexity of their sets of tautologies and satisfiab...
Franco Montagna, Carles Noguera
ICDM
2010
IEEE
142views Data Mining» more  ICDM 2010»
13 years 8 months ago
Anonymizing Temporal Data
-- Temporal data are time-critical in that the snapshot at each timestamp must be made available to researchers in a timely fashion. However, due to the limited data, each snapshot...
Ke Wang, Yabo Xu, Raymond Chi-Wing Wong, Ada Wai-C...
ICIP
2010
IEEE
13 years 8 months ago
Spatio-temporal combination of saliency maps and eye-tracking assessment of different strategies
The modeling of the human visual attention into a computational attention model leads to the split of visual features into several independent channels. Then, a difficult problem ...
Christel Chamaret, Jean-Claude Chevet, Olivier Le ...
ICFEM
2009
Springer
13 years 8 months ago
Graded-CTL: Satisfiability and Symbolic Model Checking
In this paper we continue the study of a strict extension of the Computation Tree Logic, called graded-CTL, recently introduced by the same authors. This new logic augments the sta...
Alessandro Ferrante, Margherita Napoli, Mimmo Pare...
CVPR
2008
IEEE
15 years 21 days ago
Clothing cosegmentation for recognizing people
Reseachers have verified that clothing provides information about the identity of the individual. To extract features from the clothing, the clothing region first must be localize...
Andrew C. Gallagher, Tsuhan Chen