Sciweavers

2597 search results - page 270 / 520
» On numbers of Davenport-Schinzel sequences
Sort
View
IFIP
2009
Springer
15 years 8 months ago
Towards a Type System for Security APIs
Security API analysis typically only considers a subset of an API’s functions, with results bounded by the number of function calls. Furthermore, attacks involving partial leakag...
Gavin Keighren, David Aspinall, Graham Steel
COMPSAC
2008
IEEE
15 years 8 months ago
Constraint Reasoning in Path-Oriented Random Testing
Path-oriented Random Testing (PRT) aims at generating a uniformly spread out sequence of random test data that activate a single control flow path within an imperative program. T...
Arnaud Gotlieb, Matthieu Petit
ICASSP
2008
IEEE
15 years 8 months ago
A comparative study of probabilistic ranking models for spoken document summarization
The purpose of extractive document summarization is to automatically select a number of indicative sentences, passages, or paragraphs from the original document according to a tar...
Shih-Hsiang Lin, Yi-Ting Chen, Hsin-Min Wang, Bin ...
IEEEARES
2008
IEEE
15 years 8 months ago
Finding Evidence of Antedating in Digital Investigations
— Finding evidence of antedating is an important goal in many digital investigations. This paper explores how causality can expose antedating by investigating storage systems for...
Svein Yngvar Willassen
ISMAR
2008
IEEE
15 years 8 months ago
Multiple 3D Object tracking for augmented reality
We present a method that is able to track several 3D objects simultaneously, robustly, and accurately in real-time. While many applications need to consider more than one object i...
Youngmin Park, Vincent Lepetit, Woontack Woo