Sciweavers

2191 search results - page 78 / 439
» Aspect - A Problem For MT
Sort
View
GG
2008
Springer
15 years 5 months ago
Resolution-Like Theorem Proving for High-Level Conditions
The tautology problem is the problem to prove the validity of statements. In this paper, we present a calculus for this undecidable problem on graphical conditions, prove its sound...
Karl-Heinz Pennemann
ARTMED
2008
108views more  ARTMED 2008»
15 years 4 months ago
Drinking from the firehose of experience
The problem of consciousness has captured the imagination of philosophers, neuroscientists, and the general public, but has received little attention within AI. However, concepts ...
Benjamin Kuipers
122
Voted
ECCV
2010
Springer
15 years 8 months ago
Bilinear factorization via Augmented Lagrange Multipliers
This paper presents a unified approach to solve different bilinear factorization problems in Computer Vision in the presence of missing data in the measurements. The problem is f...
ICIP
2008
IEEE
16 years 5 months ago
Algorithmic inferencing of aesthetics and emotion in natural images: An exposition
Initial studies have shown that automatic inference of high-level image quality or aesthetics is very challenging. The ability to do so, however, can prove beneficial in many appl...
Ritendra Datta, Jia Li, James Ze Wang
ISCIS
2005
Springer
15 years 9 months ago
A Unified Approach to Survivability of Connection-Oriented Networks
This paper deals with problems of computer networks survivability. We present and discuss survivability aspects of Content Delivery Networks (CDNs) and other services based on the ...
Krzysztof Walkowiak