7167 search results - page 80 / 1434 » A Technique for Invariant Generation |
176
click to vote
MCS
2010
Springer
15 years 4 months ago
2010
Springer
Besides speed and period length, the quality of uniform random number generators is usually assessed by measuring the uniformity of their point sets, formed by taking vectors of s...
168
click to vote
SP
2005
IEEE
15 years 11 months ago
2005
IEEE
It is widely believed that content-signature-based intrusion detection systems (IDSes) are easily evaded by polymorphic worms, which vary their payload on every infection attempt....
168
click to vote
ICSE
2008
IEEE-ACM
16 years 6 months ago
2008
IEEE-ACM
Modern worms can spread so quickly that any countermeasure based on human reaction might not be fast enough. Recent research has focused on devising algorithms to automatically pr...
188
click to vote
SIGMOD
2003
ACM
16 years 6 months ago
2003
ACM
Database queries often take the form of correlated SQL queries. Correlation refers to the use of values from the outer query block to compute the inner subquery. This is a conveni...
185
click to vote
CAIP
2007
Springer
16 years 10 days ago
2007
Springer
Abstract. In this paper we present a novel analysis-by-synthesis approach for real-time camera tracking in industrial scenarios. The camera pose estimation is based on the tracking...