Sciweavers

4270 search results - page 217 / 854
» A Permutation Approach to Validation
Sort
View
SDM
2007
SIAM
106views Data Mining» more  SDM 2007»
15 years 8 months ago
Performance of Recommendation Systems in Dynamic Streaming Environments
In this paper, we study the behavior of collaborative filtering based recommendations under evolving user profile scenarios. We propose a systematic validation methodology that ...
Olfa Nasraoui, Jeff Cerwinske, Carlos Rojas, Fabio...
CSDA
2010
80views more  CSDA 2010»
15 years 6 months ago
Tests for cointegration with structural breaks based on subsamples
This paper considers tests for cointegration with allowance for structural breaks, using the extrema of residual-based tests over subsamples of the data. One motivation for the ap...
James Davidson, Andrea Monticini
IOR
2006
173views more  IOR 2006»
15 years 6 months ago
A Branch-and-Cut Algorithm for the Dial-a-Ride Problem
In the dial-a-ride problem, users formulate requests for transportation from a specific origin to a specific destination. Transportation is carried out by vehicles providing a sha...
Jean-François Cordeau
JFP
2006
113views more  JFP 2006»
15 years 6 months ago
Consistency of the theory of contexts
The Theory of Contexts is a type-theoretic axiomatization aiming to give a metalogical account of the fundamental notions of variable and context as they appear in Higher stract S...
Anna Bucalo, Furio Honsell, Marino Miculan, Ivan S...
ENTCS
2007
199views more  ENTCS 2007»
15 years 6 months ago
Heuristics for Safety and Security Constraints
The flow logic approach to static analysis amounts to specifying the admissibility of solutions to analysis problems; when specified using formulae in stratified alternation-fr...
Flemming Nielson, Hanne Riis Nielson