Sciweavers

1415 search results - page 86 / 283
» Verified systems by composition from verified components
Sort
View
IEEESP
2007
98views more  IEEESP 2007»
15 years 6 months ago
Educating Students to Create Trustworthy Systems
igh level of abstraction and to provide broad oversight. In contrast, the goal of computer science security education is to provide the technicalexpertisetodevelopsecure software a...
Richard S. Swart, Robert F. Erbacher
DPD
1998
117views more  DPD 1998»
15 years 6 months ago
Solving Local Cost Estimation Problem for Global Query Optimization in Multidatabase Systems
To meet users’ growing needs for accessing pre-existing heterogeneous databases, a multidatabase system (MDBS) integrating multiple databases has attracted many researchers recen...
Qiang Zhu, Per-Åke Larson
ICPR
2000
IEEE
16 years 7 months ago
Creating Virtual Walkthrough Environment from Vertical Panoramic Mosaic
In this paper, a novel algorithm for creating virtual indoor environments is described. First, a panoramic mosaic is generated from a series of photos taken with a camera rotates ...
Tze-kin Lao, Kin-hong Wong, Kam-sum Lee, Siu-Hang ...
ICIP
2009
IEEE
15 years 4 months ago
A high-resolution image reconstuction method from low-resolution image sequence
This paper presents a high-resolution image reconstruction method from low-resolution image sequence. It is difficult to recognize details from a low-resolution image because of s...
Yeol-Min Seong, HyunWook Park
SIGIR
2009
ACM
16 years 26 days ago
A graph-based approach to mining multilingual word associations from wikipedia
In this paper, we propose a graph-based approach to constructing a multilingual association dictionary from Wikipedia, in which we exploit two kinds of links in Wikipedia articles...
Zheng Ye, Xiangji Huang, Hongfei Lin