Sciweavers

805 search results - page 107 / 161
» On the Semantics of Conditional Commitment
Sort
View
CVPR
2008
IEEE
15 years 4 months ago
Joint multi-label multi-instance learning for image classification
In real world, an image is usually associated with multiple labels which are characterized by different regions in the image. Thus image classification is naturally posed as both ...
Zheng-Jun Zha, Xian-Sheng Hua, Tao Mei, Jingdong W...
JANCL
2008
170views more  JANCL 2008»
15 years 4 months ago
Algorithmic correspondence and completeness in modal logic
ABSTRACT. In [CON 06b] we introduced the algorithm SQEMA for computing first-order equivalents and proving canonicity of modal formulae, and thus established a very general corresp...
Willem Conradie, Valentin Goranko
IGPL
2000
103views more  IGPL 2000»
15 years 4 months ago
General Patterns for Nonmonotonic Reasoning: From Basic Entailments to Plausible Relations
This paper has two goals. First, we develop frameworks for logical systems which are able to re ect not only nonmonotonic patterns of reasoning, but also paraconsistent reasoning....
Ofer Arieli, Arnon Avron
IWC
1998
109views more  IWC 1998»
15 years 4 months ago
About the importance of auditory alarms during the operation of a plant simulator
An experiment was carried out to estimate the effect of auditory alarms on the work of an plant operator in the context of a computer simulation. We designed our process simulator...
Matthias Rauterberg
MTA
2007
183views more  MTA 2007»
15 years 4 months ago
The design of a wireless real-time visual surveillance system
In this paper, we study the important issues in the design of an efficient WIreless real-time visual SurveillancE System (WISES). Two important considerations are to minimize: (1)...
Kam-yiu Lam, Calvin K. H. Chiu