Sciweavers

2150 search results - page 90 / 430
» On a restricted cross-intersection problem
Sort
View
AMW
2010
15 years 6 months ago
Minimising RDF Graphs under Rules and Constraints Revisited
Based on practical observations on rule-based inference on RDF data, we study the problem of redundancy elimination in RDF in the presence of rules (in the form of Datalog rules) a...
Reinhard Pichler, Axel Polleres, Sebastian Skritek...
RSS
2007
140views Robotics» more  RSS 2007»
15 years 6 months ago
Control of Many Agents Using Few Instructions
— This paper considers the problem of controlling a group of agents under the constraint that every agent must be given the same control input. This problem is relevant for the c...
Timothy Bretl
SE
2007
15 years 6 months ago
A domain-specific language for industrial automation
Abstract: Software development is a complex task and therefore requires professional programming skills. Restricting the focus to a specific problem domain allows the application o...
Stefan Preuer
NIPS
2001
15 years 5 months ago
The Unified Propagation and Scaling Algorithm
In this paper we will show that a restricted class of constrained minimum divergence problems, named generalized inference problems, can be solved by approximating the KL divergen...
Yee Whye Teh, Max Welling
AAAI
1990
15 years 5 months ago
Skolem Functions and Equality in Automated Deduction
We present a strategy for restricting the application of the inference rule paramodulation. The strategy applies to problems in first-order logic with equality and is designed to ...
William McCune