3256 search results - page 616 / 652 » Applications of Formal Methods to System Design and Verifica... |
89
Voted
KDD
2003
ACM
15 years 10 months ago
2003
ACM
In most computer systems, page fault rate is currently minimized by generic page replacement algorithms which try to model the temporal locality inherent in programs. In this pape...
WWW
2010
ACM
15 years 4 months ago
2010
ACM
An improved understanding of the relationship between search intent, result quality, and searcher behavior is crucial for improving the effectiveness of web search. While recent p...
73
Voted
HICSS
2009
IEEE
15 years 4 months ago
2009
IEEE
Successful knowledge management results in a competitive advantage in today’s information- and knowledge-rich industries. The elaboration and integration of emerging web-based t...
GECCO
2009
Springer
15 years 4 months ago
2009
Springer
Evolution has proven to be an effective method of training heterogeneous multi-agent teams of autonomous agents to explore unknown environments. Autonomous, heterogeneous agents ...
GLOBECOM
2007
IEEE
15 years 4 months ago
2007
IEEE
— Link and node reliability are important metrics in wireless ad hoc networks. Therefore, evaluating and quantifying reliability has become the cornerstone of research in this ï¬...