Sciweavers

782 search results - page 71 / 157
» Can a Parser be Generated from Examples
Sort
View
CP
2009
Springer
16 years 4 months ago
Constraint-Based Optimal Testing Using DNNF Graphs
The goal of testing is to distinguish between a number of hypotheses about a systemfor example, dierent diagnoses of faults by applying input patterns and verifying or falsifying t...
Anika Schumann, Martin Sachenbacher, Jinbo Huang
WACV
2008
IEEE
15 years 10 months ago
Likelihood Map Fusion for Visual Object Tracking
Visual object tracking can be considered as a figure-ground classification task. In this paper, different features are used to generate a set of likelihood maps for each pixel i...
Zhaozheng Yin, Fatih Porikli, Robert T. Collins
181
Voted
ICDIM
2006
IEEE
15 years 10 months ago
Model-Driven Development of Content-Based Image Retrieval Systems
: Generic systems for content-based image retrieval (CBIR), such as QBIC [7] cannot be used to solve domain-specific image retrieval problems, as for example, the identification of...
Temenushka Ignatova
DATE
1999
IEEE
194views Hardware» more  DATE 1999»
15 years 8 months ago
Algorithms for Solving Boolean Satisfiability in Combinational Circuits
Boolean Satisfiability is a ubiquitous modeling tool in Electronic Design Automation, It finds application in test pattern generation, delay-fault testing, combinational equivalen...
Luís Guerra e Silva, Luis Miguel Silveira, ...
163
Voted
SACRYPT
1998
Springer
257views Cryptology» more  SACRYPT 1998»
15 years 8 months ago
Cryptanalysis of RC4-like Ciphers
Abstract. RC4, a stream cipher designed by Rivest for RSA Data Security Inc., has found several commercial applications, but little public analysis has been done to date. In this p...
Serge Mister, Stafford E. Tavares