191
click to vote
CAIP
2011
Springer
14 years 3 months ago
2011
Springer
Abstract. The detection of vascular bifurcations in retinal fundus images is important for finding signs of various cardiovascular diseases. We propose a novel method to detect su...
221
Voted
CAEPIA
2011
Springer
14 years 3 months ago
2011
Springer
Mixed multi-unit combinatorial auctions (MMUCAs) offer a high potential to be employed for the automated assembly of supply chains of agents. However, in order for mixed auctions ...
169
click to vote
CAEPIA
2011
Springer
14 years 3 months ago
2011
Springer
Abstract. In the last years, cluster based retrieval has been demonstrated as an effective tool for both interactive retrieval and pseudo relevance feedback techniques. In this pa...
149
click to vote
CAEPIA
2011
Springer
14 years 3 months ago
2011
Springer
In this paper we apply the recent notion of anytime universal intelligence tests to the evaluation of a popular reinforcement learning algorithm, Q-learning. We show that a general...
143
click to vote
CAE
2011
14 years 3 months ago
2011
The creation of expressive styles for digital art is one of the primary goals in non-photorealistic rendering. In this paper, we introduce a swarm-based multi-agent system that is...
225
Voted
CAE
2011
14 years 3 months ago
2011
CADGRAPHICS
2011
14 years 3 months ago
2011
254
click to vote
CADE
2011
Springer
14 years 3 months ago
2011
Springer
Deduction modulo is a generic framework to describe proofs in a theory better than using raw axioms. This is done by presenting the theory through rules rewriting terms and proposi...
227
click to vote
CADE
2011
Springer
14 years 3 months ago
2011
Springer
Abstract. We describe a new algorithm for solving linear integer programming problems. The algorithm performs a DPLL style search for a feasible assignment, while using a novel cut...
244
Voted
CADE
2011
Springer
14 years 3 months ago
2011
Springer
We describe asasp, a symbolic reachability procedure for the analysis of administrative access control policies. The tool represents access policies and their administrative action...