2560 search results - page 125 / 512 » Contributions to zero-sum problems |
LOGCOM
2010
13 years 9 months ago
2010
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...
ICDM
2010
IEEE
13 years 8 months ago
2010
IEEE
-- 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...
ICIP
2010
IEEE
13 years 8 months ago
2010
IEEE
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 ...
ICFEM
2009
Springer
13 years 8 months ago
2009
Springer
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...
CVPR
2008
IEEE
15 years 21 days ago
2008
IEEE
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...