Sciweavers

2316 search results - page 148 / 464
» The many forms of hypercomputation
Sort
View
MVA
1996
15 years 6 months ago
Recognition of Composite Elements in Bar Graphs
The issue of graph recognition has been not always investigated until today though the subjects on the document image understanding are very interest and have proposed many method...
Naoko Yokokura, Toyohide Watanabe
ECCV
2010
Springer
15 years 4 months ago
Colorization for Single Image Super Resolution
This paper introduces a new procedure to handle color in single image super resolution (SR). Most existing SR techniques focus primarily on enforcing image priors or synthesizing i...
Shuaicheng Liu, Michael S. Brown, Seon Joo Kim, Yu...
AI
2010
Springer
15 years 4 months ago
Property persistence in the situation calculus
We develop a new automated reasoning technique for the situation calculus that can handle a class of queries containing universal quantication over situation terms. Although such ...
Ryan F. Kelly, Adrian R. Pearce
116
Voted
APIN
2010
107views more  APIN 2010»
15 years 4 months ago
Extracting reduced logic programs from artificial neural networks
Artificial neural networks can be trained to perform excellently in many application areas. While they can learn from raw data to solve sophisticated recognition and analysis prob...
Jens Lehmann, Sebastian Bader, Pascal Hitzler
CACM
2008
93views more  CACM 2008»
15 years 4 months ago
Ontologies and the semantic web
The goal of semantic web research is to allow the vast range of web-accessible information and services to be more effectively exploited by both humans and automated tools. To fac...
Ian Horrocks