Sciweavers

1053 search results - page 64 / 211
» On k-Path Covers and their applications
Sort
View
4OR
2008
115views more  4OR 2008»
13 years 7 months ago
A branch-and-price algorithm for the two-dimensional level strip packing problem
The two-dimensional level strip packing problem (2LSPP) consists in packing rectangular items of given size into a strip of given width divided into levels. Items packed into the ...
Andrea Bettinelli, Alberto Ceselli, Giovanni Righi...
CIKM
2010
Springer
13 years 7 months ago
Partial drift detection using a rule induction framework
The major challenge in mining data streams is the issue of concept drift, the tendency of the underlying data generation process to change over time. In this paper, we propose a g...
Damon Sotoudeh, Aijun An
INFOCOM
2010
IEEE
13 years 7 months ago
SparseTrack: Enhancing Indoor Pedestrian Tracking with Sparse Infrastructure Support
Abstract—Accurate indoor pedestrian tracking has wide applications in the healthcare, retail, and entertainment industries. However, existing approaches to indoor tracking have v...
Yunye Jin, Mehul Motani, Wee-Seng Soh, Juanjuan Zh...
MODELS
2010
Springer
13 years 7 months ago
Automatically Discovering Properties That Specify the Latent Behavior of UML Models
Formal analysis can be used to verify that a model of the system adheres to its requirements. As such, traditional formal analysis focuses on whether known (desired) system propert...
Heather Goldsby, Betty H. C. Cheng
SCP
2010
78views more  SCP 2010»
13 years 7 months ago
Scoping strategies for distributed aspects
Dynamic deployment of aspects brings greater flexibility and reuse potential, but requires a proper means for scoping aspects. Scoping issues are particularly crucial in a distri...
Éric Tanter, Johan Fabry, Rémi Douen...