3073 search results - page 179 / 615 » Real World Verification |
149
click to vote
CG
2004
Springer
15 years 4 months ago
2004
Springer
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...
143
click to vote
EDBT
2008
ACM
16 years 5 months ago
2008
ACM
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...
118
click to vote
AVSS
2006
IEEE
15 years 11 months ago
2006
IEEE
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...
193
click to vote
CAV
2008
Springer
15 years 6 months ago
2008
Springer
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...
129
Voted
ASPDAC
2005
ACM
15 years 6 months ago
2005
ACM
- 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...