Sciweavers

3820 search results - page 345 / 764
» Bounded Model Debugging
Sort
View
ISSTA
2012
ACM
13 years 7 months ago
ViewPoints: differential string analysis for discovering client- and server-side input validation inconsistencies
Since web applications are easily accessible, and often store a large amount of sensitive user information, they are a common target for attackers. In particular, attacks that foc...
Muath Alkhalaf, Shauvik Roy Choudhary, Mattia Fazz...
CVPR
2006
IEEE
16 years 6 months ago
Off-road Path Following using Region Classification and Geometric Projection Constraints
We describe a realtime system for finding and tracking unstructured paths in off-road conditions. The system was designed as part of the recent Darpa Grand Challenge and was teste...
Yaniv Alon, Andras Ferencz, Amnon Shashua
151
Voted
CVPR
2008
IEEE
16 years 6 months ago
A joint appearance-spatial distance for kernel-based image categorization
The goal of image categorization is to classify a collection of unlabeled images into a set of predefined classes to support semantic-level image retrieval. The distance measures ...
Guo-Jun Qi, Xian-Sheng Hua, Yong Rui, Jinhui Tang,...
ICDE
2008
IEEE
139views Database» more  ICDE 2008»
16 years 6 months ago
Simultaneous Equation Systems for Query Processing on Continuous-Time Data Streams
We introduce Pulse, a framework for processing continuous queries over models of continuous-time data, which can compactly and accurately represent many real-world activities and p...
Jennie Rogers, Olga Papaemmanouil, Ugur Çet...
243
Voted
ICDE
2007
IEEE
111views Database» more  ICDE 2007»
16 years 6 months ago
Proof Sketches: Verifiable In-Network Aggregation
Recent work on distributed, in-network aggregation assumes a benign population of participants. Unfortunately, modern distributed systems are plagued by malicious participants. In...
Minos N. Garofalakis, Joseph M. Hellerstein, Petro...