376 search results - page 43 / 76 » Optimizing Language Model Information Retrieval System with ... |
PLDI
2003
ACM
14 years 27 days ago
2003
ACM
Typed assembly languages provide a way to generate machinecheckable safety proofs for machine-language programs. But the soundness proofs of most existing typed assembly languages...
WSC
1998
13 years 9 months ago
1998
Simulation optimization is rapidly becoming a mainstream tool for simulation practitioners. Simulation optimization is the practice of linking an optimization method with a simula...
KDD
2009
ACM
14 years 8 months ago
2009
ACM
Website traffic varies through time in consistent and predictable ways, with highest traffic in the middle of the day. When providing media content to visitors, it is important to...
NLDB
2007
Springer
14 years 1 months ago
2007
Springer
Most of Information Retrieval (IR) systems are still based on bag of word paradigm. This is a strong limitation if one needs high precision answers. For example, in restricted doma...
FDL
2005
IEEE
14 years 1 months ago
2005
IEEE
In today’s electronic system-level (ESL) design processes, an early analysis of a system’s communication and nce characteristics is becoming a key challenge. The availability ...