Sciweavers

3483 search results - page 333 / 697
» Using Subject-Oriented Modeling to Develop Jini Applications
Sort
View
ICS
1999
Tsinghua U.
15 years 11 months ago
Fast cluster failover using virtual memory-mapped communication
This paper proposes a novel way to use virtual memorymapped communication (VMMC) to reduce the failover time on clusters. With the VMMC model, applications’ virtual address spac...
Yuanyuan Zhou, Peter M. Chen, Kai Li
CORR
2006
Springer
102views Education» more  CORR 2006»
15 years 6 months ago
A library of Taylor models for PVS automatic proof checker
We present in this paper a library to compute with Taylor models, a technique extending interval arithmetic to reduce decorrelation and to solve differential equations. Numerical s...
Francisco Cháves, Marc Daumas
NAACL
2010
15 years 4 months ago
Chart Mining-based Lexical Acquisition with Precision Grammars
In this paper, we present an innovative chart mining technique for improving parse coverage based on partial parse outputs from precision grammars. The general approach of mining ...
Yi Zhang 0003, Timothy Baldwin, Valia Kordoni, Dav...
IJCAT
2010
80views more  IJCAT 2010»
15 years 3 months ago
Laser remanufacturing based on the integration of reverse engineering and laser cladding
: Laser remanufacturing has been used as an approach to refurbish or to improve the surface quality of high-priced parts. However, most of the existing systems lack measuring and m...
Liangliang Nan, Weijun Liu, Kai Zhang
CVPR
1997
IEEE
14 years 2 months ago
Gradient Vector Flow: A New External Force for Snakes
Snakes, or active contours, are used extensively in computer vision and image processing applications, particularly to locate object boundaries. Problems associated with initial...
Chenyang Xu, Jerry L. Prince