759 search results - page 143 / 152 » Identifying Modeling Errors in Signatures by Model Checking |
ICCV
2009
IEEE
13 years 5 months ago
2009
IEEE
We present an algorithm that quickly and accurately estimates vanishing points in images of man-made environments. Contrary to previously proposed solutions, ours is neither itera...
VLDB
2004
ACM
14 years 29 days ago
2004
ACM
Database outsourcing is an emerging data management paradigm which has the potential to transform the IT operations of corporations. In this paper we address privacy threats in da...
AADEBUG
1995
Springer
13 years 11 months ago
1995
Springer
Software testability, the tendency for software to reveal its faults during testing, is an important issue for veri cation and quality assurance. Testability measurement can also b...
NLUCS
2008
13 years 9 months ago
2008
Increasingly, medical institutions have access to clinical information through computers. The need to process and manage the large amount of data is motivating the recent interest ...
ICCS
2009
Springer
13 years 5 months ago
2009
Springer
This article presents a local control approach to linear vehicle platooning. Linear platoon systems are sets of vehicles that use local or global perception capabilities to form a ...