Sciweavers

3073 search results - page 179 / 615
» Real World Verification
Sort
View
CG
2004
Springer
15 years 4 months ago
ANTS--Augmented Environments
When interacting with natural or urban environments there are many situations where the ability to access data in real time becomes relevant. Augmented Reality (AR) technologies a...
Teresa Romão, Nuno Correia, A. Eduardo Dias...
EDBT
2008
ACM
113views Database» more  EDBT 2008»
16 years 5 months ago
Ensuring correctness over untrusted private database
In this paper we address the problem of ensuring the correctness of query results returned by an untrusted private database. The database owns the data and may modify it at any ti...
Sarvjeet Singh, Sunil Prabhakar
AVSS
2006
IEEE
15 years 11 months ago
Skin Colour-Based Face Detection in Colour Images
We propose in this work a method for detecting faces in colour images with complex backgrounds. The approach starts with the transformation of the image pixels from the RGB colour...
Wen-Hsiang Lai, Chang-Tsun Li
CAV
2008
Springer
170views Hardware» more  CAV 2008»
15 years 6 months ago
Efficient Craig Interpolation for Linear Diophantine (Dis)Equations and Linear Modular Equations
Abstract. The use of Craig interpolants has enabled the development of powerful hardware and software model checking techniques. Efficient algorithms are known for computing interp...
Himanshu Jain, Edmund M. Clarke, Orna Grumberg
129
Voted
ASPDAC
2005
ACM
99views Hardware» more  ASPDAC 2005»
15 years 6 months ago
Implication of assertion graphs in GSTE
- We address the problem of implication of assertion graphs that occur in generalized symbolic trajectory evaluation (GSTE). GSTE has demonstrated its powerful capacity in formal v...
Guowu Yang, Jin Yang, William N. N. Hung, Xiaoyu S...