Sciweavers

1052 search results - page 152 / 211
» Understanding POWER multiprocessors
Sort
View
AMAST
2008
Springer
13 years 11 months ago
Generating Specialized Rules and Programs for Demand-Driven Analysis
Many complex analysis problems can be most clearly and easily specified as logic rules and queries, where rules specify how given facts can be combined to infer new facts, and quer...
K. Tuncay Tekle, Katia Hristova, Yanhong A. Liu
CCS
2008
ACM
13 years 11 months ago
Open problems in the security of learning
Machine learning has become a valuable tool for detecting and preventing malicious activity. However, as more applications employ machine learning techniques in adversarial decisi...
Marco Barreno, Peter L. Bartlett, Fuching Jack Chi...
ITP
2010
178views Mathematics» more  ITP 2010»
13 years 11 months ago
Interactive Termination Proofs Using Termination Cores
Recent advances in termination analysis have yielded new methods and tools that are highly automatic. However, when they fail, even experts have difficulty understanding why and de...
Panagiotis Manolios, Daron Vroon
ESWS
2008
Springer
13 years 10 months ago
Hybrid Search: Effectively Combining Keywords and Semantic Searches
This paper describes hybrid search, a search method supporting both document and knowledge retrieval via the flexible combination of ontologybased search and keyword-based matching...
Ravish Bhagdev, Sam Chapman, Fabio Ciravegna, Vita...
IMC
2007
ACM
13 years 10 months ago
Measurement and analysis of online social networks
Online social networking sites like Orkut, YouTube, and Flickr are among the most popular sites on the Internet. Users of these sites form a social network, which provides a power...
Alan Mislove, Massimiliano Marcon, P. Krishna Gumm...