5423 search results - page 850 / 1085 » Denial-of-service in automation systems |
186
click to vote
GI
2007
Springer
16 years 25 days ago
2007
Springer
: Detection is an inherent part of every advanced automatic tracking system. In this work we focus on automatic detection of humans by enhanced background subtraction. Background s...
160
click to vote
ICLP
2007
Springer
16 years 24 days ago
2007
Springer
We propose a novel technique that maps decision problems in WS1S (weak monadic second-order logic with n successors) to the problem of query evaluation of Complex-value Datalog que...
198
click to vote
ILP
2007
Springer
16 years 24 days ago
2007
Springer
Mode declarations are a successful form of language bias in explanatory ILP. But, while they are heavily used in Horn systems, they have yet to be similarly exploited in more expre...
146
click to vote
LPAR
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. Experiments show that many inequalities involving exponentials and logarithms can be proved automatically by combining a resolution theorem prover with a decision procedu...
177
click to vote
LPAR
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. Permutative logic (PL) is a noncommutative variant of multiplicative linear logic (MLL) arising from recent investigations concerning the topology of linear proofs. Permu...