Sciweavers

5326 search results - page 678 / 1066
» On what we can ensure
Sort
View
CAGD
2004
168views more  CAGD 2004»
15 years 6 months ago
A finite element method for surface restoration with smooth boundary conditions
In surface restoration usually a damaged region of a surface has to be replaced by a surface patch which restores the region in a suitable way. In particular one aims for C1-conti...
Ulrich Clarenz, Udo Diewald, G. Dziuk, Martin Rump...
ENTCS
2002
107views more  ENTCS 2002»
15 years 6 months ago
Monitoring, Checking, and Steering of Real-Time Systems
The MaC system has been developed to provide assurance that a target program is running correctly with respect to formal requirements specification. This is achieved by monitoring...
Moonjoo Kim, Insup Lee, Usa Sammapun, Jangwoo Shin...
IEPOL
2002
51views more  IEPOL 2002»
15 years 6 months ago
The software industry and India's economic development
: This paper assesses the contribution of software to India's economic development paying particular attention to the role of the software in the absorption of labour and the ...
Ashish Arora, Suma Athreye
TIP
2002
132views more  TIP 2002»
15 years 6 months ago
3-D wavelet compression and progressive inverse wavelet synthesis rendering of concentric mosaic
Using an array of photo shots, the concentric mosaic offers a quick way to capture and model a realistic three-dimensional (3-D) environment. In this work, we compress the concentr...
Lin Luo, Yunnan Wu, Jin Li, Ya-Qin Zhang
PVLDB
2008
163views more  PVLDB 2008»
15 years 6 months ago
AlvisP2P: scalable peer-to-peer text retrieval in a structured P2P network
In this paper we present the AlvisP2P IR engine, which enables efficient retrieval with multi-keyword queries from a global document collection available in a P2P network. In such...
Toan Luu, Gleb Skobeltsyn, Fabius Klemm, Maroje Pu...