5410 search results - page 109 / 1082 » When to Cross Over |
CORR
2011
Springer
13 years 5 months ago
2011
Springer
We present an iterative algorithm for enforcing policies represented in a first-order logic, which can, in particular, express all transmission-related clauses in the HIPAA Priva...
ICDE
2006
IEEE
14 years 11 months ago
2006
IEEE
We introduce a new domain-independent framework for formulating and efficiently evaluating similarity queries over historical data, where given a history as a sequence of timestam...
CADE
2005
Springer
14 years 10 months ago
2005
Springer
Abstract. We investigate the computational behaviour of `two-dimensional' propositional temporal logics over (N, <) (with and without the next-time operator ?) that are cap...
MOBISYS
2007
ACM
14 years 9 months ago
2007
ACM
IP based telephony is rapidly gaining acceptance over traditional means of voice communication. Wireless LANs are also becoming ubiquitous due to their inherent ease of deployment...
ICMCS
2006
IEEE
14 years 4 months ago
2006
IEEE
— In this paper, we propose a Reverse Frame Selection (RFS) scheme based on dynamic programming to solve for the problem of video streaming over VBR channels. In particular, we ...