3257 search results - page 368 / 652 » Some Results on Effective Randomness |
210
click to vote
ASP
2005
Springer
16 years 11 days ago
2005
Springer
Answer Set Programming (ASP) and propositional satisfiability (SAT) are closely related. In some recent work we have shown that, on a wide set of logic programs called “tight”...
133
click to vote
COSIT
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. This paper complements landmark research with an approach to formalize the structural salience of objects along routes. The aim is to automatically integrate salient obje...
154
click to vote
EPIA
2005
Springer
16 years 10 days ago
2005
Springer
In this paper, we look at the Multi-Agent Meeting Scheduling problem where distributed agents negotiate meeting times on behalf of their users. While many negotiation approaches ha...
162
click to vote
FSKD
2005
Springer
16 years 10 days ago
2005
Springer
Conventional virtual coupling is designed mainly for stabilizing the virtual environment (VE) and it thus may have poor performances. This paper proposes a novel adaptive virtual c...
203
click to vote
ICAPR
2005
Springer
16 years 10 days ago
2005
Springer
This paper presents a method for accurately segmenting moving container trucks in image sequences. This task allows to increase the performance of a recognition system that must id...