4716 search results - page 867 / 944 » Tangible functional programming |
101
click to vote
TON
2012
13 years 11 days ago
2012
Abstract—Wireless networks (including wireless mesh networks) provide opportunities for using multiple paths. Multihoming of hosts, possibly using different technologies and prov...
TON
2012
13 years 11 days ago
2012
—Anonymous wireless networking is studied when an adversary monitors the transmission timing of an unknown subset of the network nodes. For a desired quality of service (QoS), as...
126
click to vote
ICSE
2007
IEEE-ACM
15 years 4 months ago
2007
IEEE-ACM
ACL2 is the latest inception of the Boyer-Moore theorem prover, the 2005 recipient of the ACM Software System Award. In the hands of an expert, it feels like a finely tuned race ...
CVPR
2004
IEEE
15 years 12 months ago
2004
IEEE
Many classes of images have the characteristics of sparse structuring of statistical dependency and the presence of conditional independencies among various groups of variables. S...
CVPR
2008
IEEE
15 years 12 months ago
2008
IEEE
To learn a new visual category from few examples, prior knowledge from unlabeled data as well as previous related categories may be useful. We develop a new method for transfer le...