Sciweavers

540 search results - page 6 / 108
» A Computational Logic Approach to Syllogisms in Human Reason...
Sort
View
ICCV
2007
IEEE
14 years 9 months ago
An Interactive Approach to Pose-Assisted and Appearance-based Segmentation of Humans
An interactive human segmentation approach is described. Given regions of interest provided by users, the approach iteratively estimates segmentation via a generalized EM algorith...
Zhe Lin, Larry S. Davis, David S. Doermann, Daniel...
JUCS
2010
121views more  JUCS 2010»
13 years 5 months ago
Some Views on Information Fusion and Logic Based Approaches in Decision Making under Uncertainty
: Decision making under uncertainty is a key issue in information fusion and logic based reasoning approaches. The aim of this paper is to show noteworthy theoretical and applicati...
Yang Xu, Jun Liu, Luis Martínez, Da Ruan
IWFM
2003
123views Formal Methods» more  IWFM 2003»
13 years 8 months ago
Logic for Computational Effects: Work in Progress
We outline a possible logic that will allow us to give a unified approach to reasoning about computational effects. The logic is given by extending Moggi’s computational λ-cal...
Gordon D. Plotkin, John Power
KR
2004
Springer
14 years 24 days ago
A Logic of Limited Belief for Reasoning with Disjunctive Information
The goal of producing a general purpose, semantically motivated, and computationally tractable deductive reasoning service remains surprisingly elusive. By and large, approaches t...
Yongmei Liu, Gerhard Lakemeyer, Hector J. Levesque
VIS
2009
IEEE
399views Visualization» more  VIS 2009»
14 years 8 months ago
Visual Human+Machine Learning
In this paper we describe a novel method to integrate interactive visual analysis and machine learning to support the insight generation of the user. The suggested approach combine...
Raphael Fuchs, Jürgen Waser, Meister Eduard Gr...