Sciweavers

PE
2011
Springer
365views Optimization» more  PE 2011»
12 years 11 months ago
Optimal resource allocation for time-reservation systems
This paper studies the optimal resource allocation in time-reservation systems. Customers arrive at a service facility and receive service in two steps; in the first step informa...
Ran Yang, Sandjai Bhulai, Rob van der Mei, Frank J...
JMM2
2007
148views more  JMM2 2007»
13 years 4 months ago
Object Segmentation Using Background Modelling and Cascaded Change Detection
— The automatic extraction and analysis of visual information is becoming generalised. The first step in this processing chain is usually separating or segmenting the captured v...
Luís Filipe Teixeira, Jaime S. Cardoso, Lu&...
TRECVID
2007
13 years 5 months ago
UEC at TRECVID 2007 High Level Feature Task
In this paper, we describe our approach and results for high-level feature extraction task at TRECVID 2007. This year, we adopted late fusion of several types of features. As a ...
O. Liu, Z. Tang, K. Yanai
TREC
2003
13 years 5 months ago
Experiments in TREC 2003 Genomics Track at NTT
500,000 PubMed abstracts. However, less than 50 documents are relevant for most queries. Applying scoring to all 500,000 abstracts would create a lot of noise. In the first step, ...
Hirotoshi Taira, Tomonori Izumitani, Tsutomu Hirao...
ACL
2003
13 years 5 months ago
Automatic Collection of Related Terms from the Web
This paper proposes a method of collecting a dozen terms that are closely related to a given seed term. The proposed method consists of three steps. The first step, compiling cor...
Satoshi Sato, Yasuhiro Sasaki
ISSTA
2010
ACM
13 years 8 months ago
Automated fixing of programs with contracts
In program debugging, finding a failing run is only the first step; what about correcting the fault? Can we automate the second task as well as the first? The AutoFix-E tool au...
Yi Wei, Yu Pei, Carlo A. Furia, Lucas S. Silva, St...
ESOP
2001
Springer
13 years 9 months ago
Secure Information Flow and CPS
Security-typed languages enforce confidentiality or integrity policies by type checking. This paper investigates continuation-passing style (CPS) translation of such languages as ...
Steve Zdancewic, Andrew C. Myers
VISUALIZATION
2003
IEEE
13 years 9 months ago
Counting Cases in Marching Cubes: Toward a Generic Algorithm for Producing Substitopes
We describe how to count the cases that arise in a family of visualization techniques, including Marching Cubes, Sweeping Simplices, Contour Meshing, Interval Volumes, and Separat...
David C. Banks, Stephen A. Linton
PG
2003
IEEE
13 years 9 months ago
Iso-Splatting: A Point-Based Alternative to Isosurface Visualization
We present a new approach to isosurface visualization that we call “iso-splatting.” We use point primitives for representing and rendering isosurfaces. The method consists of ...
Christopher S. Co, Bernd Hamann, Kenneth I. Joy
ICRA
2003
IEEE
150views Robotics» more  ICRA 2003»
13 years 9 months ago
Vision-based fast and reactive monte-carlo localization
— This paper presents a fast approach for vision-based self-localization in RoboCup. The vision system extracts the features required for localization without processing the whol...
Thomas Röfer, Matthias Jüngel