Sciweavers

23098 search results - page 217 / 4620
» Component Based Development
Sort
View
128
Voted
CLEF
2000
Springer
15 years 7 months ago
The Use of NLP Techniques in CLIR
The application of nlp techniques to improve the results of information retrieval is still considered as a controversial issue, whereas nlp techniques in cross-language informatio...
Bärbel Ripplinger
CVPR
2004
IEEE
16 years 4 months ago
Spherical Harmonics vs. Haar Wavelets: Basis for Recovering Illumination from Cast Shadows
The problem of estimating an illumination distribution from images is called inverse lighting. For inverse lighting, three approaches have been developed based on specular reflect...
Takahiro Okabe, Imari Sato, Yoichi Sato
139
Voted
CGO
2003
IEEE
15 years 8 months ago
Hiding Program Slices for Software Security
Given the high cost of producing software, development of technology for prevention of software piracy is important for the software industry. In this paper we present a novel app...
Xiangyu Zhang, Rajiv Gupta
OSDI
2000
ACM
15 years 4 months ago
Knit: Component Composition for Systems Software
Knit is a new component definition and linking language for systems code. Knit helps make C code more understandable and reusable by third parties, helps eliminate much of the per...
Alastair Reid, Matthew Flatt, Leigh Stoller, Jay L...
145
Voted
ZUM
2005
Springer
206views Formal Methods» more  ZUM 2005»
15 years 8 months ago
Component Reuse in B Using ACL2
Abstract. We present a new methodology that permits to reuse an existing hardware component that has not been developed within the B framework while maintaining a correct design ï¬...
Yann Zimmermann, Diana Toma