9818 search results - page 180 / 1964 » Much Support and More |
196
click to vote
ICFP
2005
ACM
16 years 6 months ago
2005
ACM
A limited form of dependent types, called Generalized Algebraic Data Types (GADTs), has recently been added to the list of Haskell extensions supported by the Glasgow Haskell Comp...
164
click to vote
MOBIHOC
2004
ACM
16 years 6 months ago
2004
ACM
An important performance consideration for wireless sensor networks is the amount of information collected by all the nodes in the network over the course of network lifetime. Sin...
185
click to vote
ICALP
2010
Springer
15 years 11 months ago
2010
Springer
Knowledge extraction is a fundamental notion, modeling machine possession of values (witnesses) in a computational complexity sense and enabling one to argue about the internal st...
171
click to vote
PLDI
2009
ACM
15 years 11 months ago
2009
ACM
More and more server workloads are becoming Web-based. In these Web-based workloads, most of the memory objects are used only during one transaction. We study the effect of the me...
169
click to vote
ECCV
2010
Springer
15 years 11 months ago
2010
Springer
In this paper, we propose a method for detecting humans in imagery taken from a UAV. This is a challenging problem due to small number of pixels on target, which makes it more di�...