Sciweavers

4343 search results - page 557 / 869
» Improving Visual Matching
Sort
View
CVPR
2010
IEEE
16 years 7 hour ago
Robust Classification of Objects, Faces, and Flowers Using Natural Image Statistics
Classification of images in many category datasets has rapidly improved in recent years. However, systems that perform well on particular datasets typically have one or more lim...
Christopher Kanan, Garrison Cottrell
126
Voted
CGO
2010
IEEE
15 years 10 months ago
Large program trace analysis and compression with ZDDs
Prior work has shown that reduced, ordered, binary decision diagrams (BDDs) can be a powerful tool for program trace analysis and visualization. Unfortunately, it can take hours o...
Graham D. Price, Manish Vachharajani
119
Voted
IUI
2010
ACM
15 years 10 months ago
Lowering the barriers to website testing with CoTester
In this paper, we present CoTester, a system designed to decrease the difficulty of testing web applications. CoTester allows testers to create test scripts that are represented ...
Jalal Mahmud, Tessa Lau
133
Voted
ICIAP
2009
ACM
15 years 10 months ago
Towards a Theoretical Framework for Learning Multi-modal Patterns for Embodied Agents
Multi-modality is a fundamental feature that characterizes biological systems and lets them achieve high robustness in understanding skills while coping with uncertainty. Relativel...
Nicoletta Noceti, Barbara Caputo, Claudio Castelli...
149
Voted
SAT
2009
Springer
126views Hardware» more  SAT 2009»
15 years 10 months ago
Extending SAT Solvers to Cryptographic Problems
Cryptography ensures the confidentiality and authenticity of information but often relies on unproven assumptions. SAT solvers are a powerful tool to test the hardness of certain ...
Mate Soos, Karsten Nohl, Claude Castelluccia