2272 search results - page 132 / 455 » Validity Invariants and Effects |
SDM
2007
SIAM
13 years 11 months ago
2007
SIAM
In this paper, we study the behavior of collaborative filtering based recommendations under evolving user profile scenarios. We propose a systematic validation methodology that ...
CLIMA
2004
13 years 11 months ago
2004
In a dynamic environment, even if an agent makes a plan to obtain a goal, the environment might change while the agent is executing the plan. In that case, the plan, which was init...
USENIX
2003
13 years 11 months ago
2003
We present Active Spam Killer (ASK), a program that attempts to validate unknown senders before allowing delivery of their message. Validation occurs by means of a challenge reply...
DEBU
2008
13 years 10 months ago
2008
Query optimization is an inherently complex problem, and validating the correctness and effectiveness of a query optimizer can be a task of comparable complexity. The overall proc...
INFORMATICALT
2006
13 years 10 months ago
2006
In this paper optimization of DSR is achieved using New Link Cache structure and Source Transparent Route Maintenance Method. The new link cache effectively utilizes the memory by ...