2797 search results - page 143 / 560 » Code query by example |
130
click to vote
SIGGRAPH
1995
ACM
15 years 6 months ago
1995
ACM
We present a method for searching in an image database using a query image that is similar to the intended target. The query image may be a hand-drawn sketch or a (potentially low...
ICIP
2003
IEEE
16 years 4 months ago
2003
IEEE
In this work, we demonstrate examples about uses of practical image processing techniques over a new interpretation of power quality event data. Power quality event data are 1D da...
120
click to vote
ICFP
2002
ACM
16 years 3 months ago
2002
ACM
We present the type theory LTT, intended to form a basis for typed target languages, providing an internal notion of logical proposition and proof. The inclusion of explicit proof...
122
click to vote
TACAS
2010
Springer
15 years 10 months ago
2010
Springer
Modern multicore processors, such as the Cell Broadband Engine, achieve high performance by equipping accelerator cores with small “scratchpad” memories. The price for increase...
123
click to vote
VMCAI
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Implementations of cryptographic protocols, such as OpenSSL for example, contain bugs affecting security, which cannot be detected by just analyzing abstract protocols (e...