3690 search results - page 381 / 738 » Computation with classical sequents |
214
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
Human detection in video streams is an important task in many applications including video surveillance. Surprisingly, only few papers have been devoted to this topic. This paper ...
348
click to vote
AMC
2011
14 years 10 months ago
2011
The present paper studies the probability of ruin of an insurer, if excess of loss reinsurance with reinstatements is applied. In the setting of the classical CramerLundberg risk ...
203
click to vote
DLOG
2011
14 years 10 months ago
2011
We study a restriction of the classification procedure for EL++ where the inference rule for complex role inclusion axioms (RIAs) is applied in a “left-linear” way in analogy ...
186
click to vote
FOCM
2011
14 years 10 months ago
2011
The theory of intersection homology was developed to study the singularities of a topologically stratified space. This paper incorporates this theory into the already developed f...
230
click to vote
FOGA
2011
14 years 10 months ago
2011
It was recently proven that sets of points maximizing the hypervolume indicator do not give a good multiplicative approximation of the Pareto front. We introduce a new “logarith...