Sciweavers

2795 search results - page 250 / 559
» Recommendations on recommendations
Sort
View
TPHOL
2000
IEEE
15 years 10 months ago
Formal Verification of IA-64 Division Algorithms
The IA-64 architecture defers floating point and integer division to software. To ensure correctness and maximum efficiency, Intel provides a number of recommended algorithms which...
John Harrison
VLDB
2000
ACM
113views Database» more  VLDB 2000»
15 years 10 months ago
The Zero Latency Enterprise
Today's Internet economy has primed customers to expect immediate access and immediate results. But instant results are difficult to achieve when your customers want up-to-th...
Dave Liles
WSC
2007
15 years 9 months ago
Verification and validation of simulation models
In this paper we discuss verification and validation of simulation models. Four different approaches to deciding model validity are described; two different paradigms that relate ...
Robert G. Sargent
CIA
2008
Springer
15 years 8 months ago
Modeling Dynamics of Relative Trust of Competitive Information Agents
In order for personal assistant agents in an ambient intelligence context to provide good recommendations, or pro-actively support humans in task allocation, a good model of what t...
Mark Hoogendoorn, S. Waqar Jaffry, Jan Treur
CLEF
2008
Springer
15 years 8 months ago
On the Evaluation of Snippet Selection for WebCLEF
WebCLEF is about supporting a user who is an expert in writing a survey article on a specific topic with a clear goal and audience by generating a ranked list with relevant snippet...
Arnold Overwijk, Dong Nguyen, Claudia Hauff, Dolf ...