Sciweavers

5329 search results - page 872 / 1066
» The Weighted Majority Algorithm
Sort
View
FROCOS
2005
Springer
15 years 9 months ago
Combination of Isabelle/HOL with Automatic Tools
We describe results and status of a sub project of the Verisoft [1] project. While the Verisoft project aims at verification of a complete computer system starting with hardware a...
Sergey Tverdyshev
ICCS
2005
Springer
15 years 9 months ago
An Adaptive Collision Detection and Resolution for Deformable Objects Using Spherical Implicit Surface
A fast collision detection and resolution scheme is one of the key components for interactive simulation of deformable objects. It is particularly challenging to reduce the computa...
Sunhwa Jung, Min Hong, Min-Hyung Choi
ICN
2005
Springer
15 years 9 months ago
A Fast Path Recovery Mechanism for MPLS Networks
The major concept of the Multi-Protocol Label Switching (MPLS) network uses the Label Switch Path (LSP) technique that provides high performance in packet delivery without routing ...
Jenhui Chen, Chung-Ching Chiou, Shih-Lin Wu
ISMIR
2005
Springer
118views Music» more  ISMIR 2005»
15 years 9 months ago
New Music Interfaces for Rhythm-Based Retrieval
In the majority of existing work in music information retrieval (MIR) the user interacts with the system using standard desktop components such as the keyboard, mouse or sometimes...
Ajay Kapur, Richard I. McWalter, George Tzanetakis
ISVC
2005
Springer
15 years 9 months ago
Retinal Image Registration for NIH's ETDRS
This paper presents a retinal image registration approach for National Institute of Health (NIH)’s Early Treatment Diabetic Retinopathy Study (ETDRS) standard. The ETDRS imaging ...
Thitiporn Chanwimaluang, Guoliang Fan