Sciweavers

4914 search results - page 604 / 983
» Arbitration of a help system
Sort
View
JSAT
2010
108views more  JSAT 2010»
15 years 1 months ago
Experiment design and administration for computer clusters for SAT-solvers (EDACC)
The design of a SAT-solver or the modification of an existing one is always followed by a phase of intensive testing of the solver on a benchmark of instances. This task can be ve...
Adrian Balint, Daniel Gall, Gregor Kapler, Robert ...
EUROPAR
2004
Springer
16 years 8 days ago
Large-Scale Deployment in P2P Experiments Using the JXTA Distributed Framework
The interesting properties of P2P systems (high availability despite peer volatility, support for heterogeneous architectures, high scalability, etc.) make them attractive for dist...
Gabriel Antoniu, Luc Bougé, Mathieu Jan, S&...
ICCV
2009
IEEE
16 years 12 months ago
Keyframe-Based Real-Time Camera Tracking
We present a novel keyframe selection and recognition method for robust markerless real-time camera tracking. Our system contains an ofine module to select features from a grou...
Zilong Dong, Guofeng Zhang, Jiaya Jia, Hujun Bao
CVPR
2004
IEEE
16 years 9 months ago
Bayesian Video Matting Using Learnt Image Priors
Video matting, or layer extraction, is a classic inverse problem in computer vision that involves the extraction of foreground objects, and the alpha mattes that describe their op...
Nicholas Apostoloff, Andrew W. Fitzgibbon
ICIP
2006
IEEE
16 years 8 months ago
Pre-Fetching Strategies for Remote and Interactive Browsing of JPEG2000 Images
This paper considers the remote interactive browsing of large JPEG2000 images. In contrast with previous contributions, we focus on the dynamic nature of the system. Practically, ...
Antonin Descampe, Benoit M. Macq, Christophe De Vl...