Sciweavers

1156 search results - page 130 / 232
» The PENG System: Practice and Experience
Sort
View
ICPR
2008
IEEE
16 years 23 days ago
A new approach to 3D shape recovery of local planar surface patches from shift-variant blurred images
A new approach is presented for 3D shape recovery of local planar surface patches from two shift/spacevariant defocused images. It is based on a recently proposed technique for in...
Murali Subbarao, Xue Tu, Youn-sik Kang
GIS
2007
ACM
16 years 19 days ago
Dynamic storage balancing in a distributed spatial index
We propose a general framework to index very large datasets of spatial data in a distributed system. Our proposal is built on the recently proposed Scalable Distributed Rtree (SD-...
Cédric du Mouza, Philippe Rigaux, Witold Li...
CADE
2004
Springer
15 years 12 months ago
Model Checking Using Tabled Rewriting
LRR [3] is a rewriting system developed at the Computer Science Department of University of Houston. LRR has two subsystems: Smaran (for tabled rewriting), and TGR (for untabled re...
Zhiyao Liang
DATE
2009
IEEE
119views Hardware» more  DATE 2009»
15 years 6 months ago
Statistical fault injection: Quantified error and confidence
— Fault injection has become a very classical method to determine the dependability of an integrated system with respect to soft errors. Due to the huge number of possible error ...
Régis Leveugle, A. Calvez, Paolo Maistri, P...
DASFAA
2008
IEEE
109views Database» more  DASFAA 2008»
15 years 6 months ago
Supporting Keyword Queries on Structured Databases with Limited Search Interfaces
Many Web sources provide forms to allow users to query their hidden data. For instance, online stores such as Amazon.com have search interfaces, using which users can query informa...
Nurcan Yuruk, Xiaowei Xu, Chen Li, Jeffrey Xu Yu