1529 search results - page 228 / 306 » On Timing Analysis of Combinational Circuits |
VLDB
2004
ACM
14 years 1 months ago
2004
ACM
We introduce an auditing framework for determining whether a database system is adhering to its data disclosure policies. Users formulate audit expressions to specify the (sensiti...
ICDAR
2003
IEEE
14 years 1 months ago
2003
IEEE
The objective of this paper is to present a number of features that can be extracted from handwritten digits and used for author verification or identification of a person’s han...
ICDAR
2003
IEEE
14 years 1 months ago
2003
IEEE
For the transition from traditional to digital libraries, the large number of handwritten manuscripts that exist pose a great challenge. Easy access to such collections requires a...
SMI
2003
IEEE
14 years 1 months ago
2003
IEEE
Acquiring on-line the evolving shape of a dynamic scene from a handful of video streams may be considered one of the most challenging, but at the same time also most auspicious ta...
CPE
2003
Springer
14 years 1 months ago
2003
Springer
We describe the main features of SmArT, a software package providing a seamless environment for the logic and probabilistic analysis of complex systems. SmArT can combine differen...