13383 search results - page 2442 / 2677 » Abstractions from proofs |
121
Voted
CGA
2005
15 years 21 days ago
2005
visualization to abstract data sets like network intrusion detection, recommender systems, and database query results. Although display algorithms are a critical component in the v...
114
click to vote
TPDS
2008
15 years 21 days ago
2008
Abstract-- With increasing richness in features such as personalization of content, web applications are becoming more complex and hence compute intensive. Traditional approaches t...
76
Voted
JMM2
2007
15 years 21 days ago
2007
Abstract— In 2006, Gaurav Gupta and Josef Pieprzyk presented an attack on the branch-based software watermarking scheme proposed by Ginger Myles and Hongxia Jin in 2005. The softw...
111
click to vote
TSMC
2008
15 years 20 days ago
2008
Abstract-- In this paper, we address the issue of forecasting for periodically measured nonstationary traffic based on statistical time series modeling. Often with time series base...
134
click to vote
AAMAS
2004
Springer
15 years 20 days ago
2004
Springer
The Procedural Reasoning System (PRS) is the best established agent architecture currently available. It has been deployed in many major industrial applications, ranging from fault...