Now showing items 1-10 of 726
Burn all your textbooks
(Australasian Association for Logic, 2017)
The standard propositional exposition of necessary and su cient conditions, as available in introductory logic texts, leads to a contradiction. It should be abolished.
Sliding windows over uncertain data streams
(Springer U K, 2015)
Uncertain data streams can have tuples with both value and existential uncertainty. A tuple has value uncertainty when it can assume multiple possible values. A tuple is existentially uncertain when the sum of the ...
Toward an estimation of user tagging credibility for social image retrieval
Existing image retrieval systems exploit textual or/and visual information to return results. Retrieval is mostly focused on data themselves and disregards the data sources. In Web 2.0 platforms, the quality of annotations ...
A framework for enhancing depth perception in computer graphics
This paper introduces a solution for enhancing depth perception in a given 3D computer-generated scene. For this purpose, we propose a framework that decides on the suitable depth cues for a given scene and the rendering ...
Whole genome sequencing of Turkish genomes reveals functional private alleles and impact of genetic interactions with Europe, Asia and Africa
(BioMed Central Ltd., 2014-11-07)
Background: Turkey is a crossroads of major population movements throughout history and has been a hotspot of cultural interactions. Several studies have investigated the complex population history of Turkey through a ...
Incorporating the surfing behavior of web users into PageRank
In large-scale commercial web search engines, estimating the importance of a web page is a crucial ingredient in ranking web search results. So far, to assess the importance of web pages, two different types of feedback ...
Strategies for setting time-to-live values in result caches
In web query result caching, staleness of queries are often bounded via a time-to-live (TTL) mechanism, which expires the validity of cached query results at some point in time. In this work, we evaluate the performance ...
Code scheduling for optimizing parallelism and data locality
As chip multiprocessors proliferate, programming support for these devices is likely to receive a lot of attention in the near future. Parallelism and data locality are two critical issues in a chip multiprocessor environment. ...
A front-page news-selection algorithm based on topic modelling using raw text
(Sage Publications Ltd., 2015)
Front-page news selection is the task of finding important news articles in news aggregators. In this study, we examine news selection for public front pages using raw text, without any meta-attributes such as click counts. ...
A resampling-based Markovian model for automated colon cancer diagnosis
(Institute of Electrical and Electronics Engineers, 2012-01)
In recent years, there has been a great effort in the research of implementing automated diagnostic systems for tissue images. One major challenge in this implementation is to design systems that are robust to image ...