Sciweavers

2061 search results - page 371 / 413
» Modeling search engine effectiveness for federated search
Sort
View
BIOADIT
2006
Springer
15 years 3 months ago
Proposal and Evaluation of a Cooperative Mechanism for Pure P2P File Sharing Networks
To provide application-oriented network services, a variety of overlay networks are deployed over physical IP networks. Since they share and compete for the same physical network r...
Junjiro Konishi, Naoki Wakamiya, Masayuki Murata
FMCAD
2006
Springer
15 years 3 months ago
Finite Instantiations for Integer Difference Logic
The last few years have seen the advent of a new breed of decision procedures for various fragments of first-order logic based on ional abstraction. A lazy satisfiability checker ...
Hyondeuk Kim, Fabio Somenzi
3DOR
2008
15 years 2 months ago
Isometry-invariant Matching of Point Set Surfaces
Shape deformations preserving the intrinsic properties of a surface are called isometries. An isometry deforms a surface without tearing or stretching it, and preserves geodesic d...
Mauro R. Ruggeri, Dietmar Saupe
AIPS
2008
15 years 2 months ago
Generating Robust Schedules Subject to Resource and Duration Uncertainties
We consider the Resource-Constrained Project Scheduling Problem with minimal and maximal time lags under resource and duration uncertainties. To manage resource uncertainties, we ...
Na Fu, Hoong Chuin Lau, Fei Xiao
3DIM
2005
IEEE
15 years 1 months ago
Projection-Based Registration Using a Multi-View Camera for Indoor Scene Reconstruction
A registration method is proposed for 3D reconstruction of an indoor environment using a multi-view camera. In general, previous methods have a high computational complexity and a...
Sehwan Kim, Woontack Woo