4035 search results - page 156 / 807 » Useless Actions Are Useful |
156
click to vote
ENTCS
2007
15 years 6 months ago
2007
Protocol Composition Logic (PCL) is a logic for proving security properties of network protocols that use public and symmetric key cryptography. The logic is designed around a pro...
171
click to vote
DAC
2012
ACM
13 years 8 months ago
2012
ACM
Addressing the challenges of extreme scale computing requires holistic design of new programming models and systems that support those models. This paper discusses the Angstrom pr...
155
click to vote
AAAI
2010
15 years 8 months ago
2010
Knowledge transfer has been suggested as a useful approach for solving large Markov Decision Processes. The main idea is to compute a decision-making policy in one environment and...
180
click to vote
ICIP
2003
IEEE
16 years 8 months ago
2003
IEEE
Relevance feedback is an attractive approach to developing flexible metrics for content-based retrieval in image and video databases. Large image databases require an index struct...
147
click to vote
ICML
2006
IEEE
16 years 7 months ago
2006
IEEE
The general approach for automatically driving data collection using information from previously acquired data is called active learning. Traditional active learning addresses the...