4693 search results - page 485 / 939 » Verifying Hybrid Systems |
189
click to vote
ICMCS
2009
IEEE
15 years 4 months ago
2009
IEEE
In this paper, we consider the problem of incorporating privacy protection in a biometric access control system. An Anonymous Biometric Access Control (ABAC) system is proposed to...
196
click to vote
IUI
2009
ACM
16 years 1 months ago
2009
ACM
Workflows have emerged as a common tool for scientists to express their computational analyses. While there are a multitude of visual data flow editors for workflow construction, ...
191
click to vote
XSYM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. LONG PAPER. BaseX is an early adopter of the upcoming XQuery Full Text Recommendation. This paper presents some of the enhancements made to the XML database to fully supp...
163
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
We propose a sparse non-negative image coding based on simulated annealing and matrix pseudo-inversion. We show that sparsity and non-negativity are both important to obtain part-...
211
click to vote
ANSS
2007
IEEE
16 years 1 months ago
2007
IEEE
New approaches are considered for performance enhancement of discrete-event simulation software. Instead of taking a purely algorithmic analysis view, we supplement algorithmic co...