150 search results - page 24 / 30 » Programming by sketching for bit-streaming programs |
111
click to vote
SIGPRO
2010
14 years 10 months ago
2010
This short note studies a variation of the Compressed Sensing paradigm introduced recently by Vaswani et al., i.e. the recovery of sparse signals from a certain number of linear m...
154
click to vote
DLS
2009
14 years 9 months ago
2009
Behavioral software contracts express properties concerning the flow of values across component (modules, classes, etc) interfaces. These properties are often beyond the reach of ...
GPCE
2007
Springer
15 years 5 months ago
2007
Springer
Multiple dispatch – the selection of a function to be invoked based on the dynamic type of two or more arguments – is a solution to several classical problems in object-orient...
140
click to vote
PAMI
2012
13 years 2 months ago
2012
— Language and image understanding are two major goals of artificial intelligence which can both be conceptually formulated in terms of parsing the input signal into a hierarchi...
107
Voted
ECOOP
2004
Springer
15 years 5 months ago
2004
Springer
Design patterns are a standard means to create large software systems. However, with standard object-oriented techniques, typical implementations of such patterns are not themselv...