Sciweavers

2462 search results - page 354 / 493
» Consistent cooperative localization
Sort
View
HEURISTICS
2010
15 years 1 months ago
A shift sequence based approach for nurse scheduling and a new benchmark dataset
This paper investigates an adaptive constructive method for solving nurse rostering problems. The constraints considered in the problems are categorised into three classes: those t...
Peter Brucker, Edmund K. Burke, Timothy Curtois, R...
POPL
2012
ACM
14 years 1 days ago
A type system for borrowing permissions
In object-oriented programming, unique permissions to object references are useful for checking correctness properties such as consistency of typestate and noninterference of conc...
Karl Naden, Robert Bocchino, Jonathan Aldrich, Kev...
WSDM
2012
ACM
267views Data Mining» more  WSDM 2012»
14 years 17 hour ago
Learning to rank with multi-aspect relevance for vertical search
Many vertical search tasks such as local search focus on specific domains. The meaning of relevance in these verticals is domain-specific and usually consists of multiple well-d...
Changsung Kang, Xuanhui Wang, Yi Chang, Belle L. T...
ICDE
2005
IEEE
120views Database» more  ICDE 2005»
16 years 5 months ago
Progressive Distributed Top k Retrieval in Peer-to-Peer Networks
Query processing in traditional information management systems has moved from an exact match model to more flexible paradigms allowing cooperative retrieval by aggregating the dat...
Wolf-Tilo Balke, Wolfgang Nejdl, Wolf Siberski, Uw...
VIS
2009
IEEE
163views Visualization» more  VIS 2009»
16 years 5 months ago
Volume Illustration of Muscle from Diffusion Tensor Images
Medical illustration has demonstrated its effectiveness to depict salient anatomical features while hiding the irrelevant details. Current solutions are ineffective for visualizing...
Wei Chen, Zhicheng Yan, Song Zhang, John Allen ...