5255 search results - page 150 / 1051 » Formal Methods for Privacy |
127
Voted
BIOSURVEILLANCE
2007
Springer
15 years 9 months ago
2007
Springer
Algorithms for detecting anomalous events can be divided into those that are designed to detect specific diseases and those that are non-specific in what they detect. Specific dete...
123
Voted
COMCOM
2010
15 years 3 months ago
2010
Vehicular communication systems are an emerging form of communication that enables new ways of cooperation among vehicles, traffic operators, and service providers. However, many ...
105
Voted
MOC
2010
14 years 10 months ago
2010
Hill's method is a means to numerically approximate spectra of linear differential operators with periodic coefficients. In this paper, we address different issues related to...
132
click to vote
ITSSA
2006
15 years 3 months ago
2006
: The increase in the creation and sharing of distributed multimedia content has led to the creation of new tools and methods to automatically and manually annotate content to assi...
118
Voted
MOC
2010
14 years 10 months ago
2010
Abstract. We introduce a new technique for the error analysis of hybridizable discontinuous Galerkin (HDG) methods. The technique relies on the use of a new projection whose design...