1072 search results - page 171 / 215 » Object-Oriented Type Inference |
133
click to vote
ESOP
2010
Springer
16 years 21 days ago
2010
Springer
Type-based amortised resource analysis following Hofmann and Jost--where resources are associated with individual elements of data structures and doled out to the programmer under ...
138
Voted
CVPR
2010
IEEE
15 years 10 months ago
2010
IEEE
We propose a principled framework to model persistent motion in dynamic scenes. In contrast to previous efforts on object tracking and optical flow estimation that focus on local...
136
Voted
ICLP
2009
Springer
15 years 10 months ago
2009
Springer
The seemingly simple choice of whether to use call variance or call subsumption in a tabled evaluation deeply affects an evaluation’s properties. Most tabling implementations hav...
136
Voted
ICASSP
2009
IEEE
15 years 10 months ago
2009
IEEE
We develop a framework to detect when certain sounds are present in a mixed audio signal. We focus on the regime where out of a large number of possible sounds, a small but unknow...
116
Voted
SASP
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract—One of the ways that custom instruction set extensions can improve over software execution is through the use of hardware structures that have been optimized at the arit...