2607 search results - page 332 / 522 » Complete Functional Synthesis |
107
click to vote
ICRA
2010
IEEE
15 years 2 months ago
2010
IEEE
— This paper addresses a novel visibility-based pursuit-evasion problem in which a team of searchers with limited range sensors must coordinate to clear any evaders from an unkno...
123
Voted
MA
2010
Springer
15 years 2 months ago
2010
Springer
The paper reconsiders the autoregressive aided periodogram bootstrap (AAPB) which has been suggested in Kreiß and Paparoditis (2003). Their idea was to combine a time domain param...
117
click to vote
OL
2010
15 years 2 months ago
2010
In an important paper, Burer [2] recently showed how to reformulate general mixed-binary quadratic optimization problems (QPs) into copositive programs where a linear functional i...
100
click to vote
PVLDB
2010
15 years 2 months ago
2010
We demonstrate an efficient LINQ to SQL provider and its significant impact on the runtime performance of LINQ programs that process large data volumes. This alternative provider...
150
click to vote
TKDE
2010
15 years 2 months ago
2010
— Tampering of a database can be detected through the use of cryptographically-strong hash functions. Subsequently-applied forensic analysis algorithms can help determine when, w...