Sciweavers

AI
2016
Springer
8 years 3 months ago
Certain answers as objects and knowledge
The standard way of answering queries over incomplete databases is to compute certain answers, defined as the intersection of query answers on all complete databases that the inc...
Leonid Libkin
AI
2016
Springer
8 years 3 months ago
The scope and limits of simulation in automated reasoning
: In scientific computing and in realistic graphic animation, simulation — that is, step-by-step calculation of the complete trajectory of a physical system — is one of the mos...
Ernest Davis, Gary Marcus
AI
2016
Springer
8 years 3 months ago
SATenstein: Automatically building local search SAT solvers from components
Designing high-performance algorithms for computationally hard problems is a difficult and often time-consuming task. In this work, we demonstrate that this task can be automated...
Ashiqur R. KhudaBukhsh, Lin Xu, Holger H. Hoos, Ke...
AI
2016
Springer
8 years 3 months ago
Truncated incremental search
Sandip Aine, Maxim Likhachev
AI
2016
Springer
8 years 3 months ago
Exploiting local and repeated structure in Dynamic Bayesian Networks
We introduce the structural interface algorithm for exact probabilistic inference in dynamic Bayesian networks. It unifies state-of-the-art techniques for inference in static and...
Jonas Vlasselaer, Wannes Meert, Guy Van den Broeck...
ACCESS
2016
8 years 3 months ago
Model-Mediated Teleoperation: Toward Stable and Transparent Teleoperation Systems
—Bilateral teleoperation systems with haptic feedback allow human users to interact with objects or perform complex tasks in remote or inaccessible environments. Communication de...
Xiao Xu, Burak Cizmeci, Clemens Schuwerk, Eckehard...
ACCESS
2016
8 years 3 months ago
VLSI Implementation of Fully Parallel LTE Turbo Decoders
An Li, Luping Xiang, Taihai Chen, Robert G. Maunde...
ACCESS
2016
8 years 3 months ago
Emerging Physical Unclonable Functions With Nanotechnology
Abstract—Physical Unclonable Functions (PUFs) are increasingly used for authentication and identification applications as well as cryptographic key generation. An important feat...
Yansong Gao, Damith Chinthana Ranasinghe, Said F. ...
ACAL
2015
Springer
8 years 3 months ago
Ranking-Based Vocabulary Pruning in Bag-of-Features for Image Retrieval
Content-based image retrieval (CBIR) has been applied to a variety of medical applications, e.g., pathology research and clinical decision support, and bag-of-features (BOF) model ...
Fan Zhang, Yang Song, Tom Weidong Cai, Alexander G...