Sciweavers

4507 search results - page 390 / 902
» Generalized Binet dynamics
Sort
View
ICDE
2008
IEEE
161views Database» more  ICDE 2008»
16 years 1 months ago
On the semantics and evaluation of top-k queries in probabilistic databases
We formulate three intuitive semantic properties for topk queries in probabilistic databases, and propose GlobalTopk query semantics which satisfies all of them. We provide a dyn...
Xi Zhang, Jan Chomicki
ISSRE
2008
IEEE
16 years 1 months ago
Static Detection of Redundant Test Cases: An Initial Study
As software systems evolve, the size of their test suites grow due to added functionality and customer-detected defects. Many of these tests may contain redundant elements with pr...
Nuo Li, Patrick Francis, Brian Robinson
ICC
2007
IEEE
16 years 1 months ago
A New Trellis Shaping Approach for Pulse-Shaped PSK Signals with Almost Constant Envelope
—In this paper, a novel peak power reduction scheme based on trellis shaping is proposed for single-carrier pulseshaped phase shift keying (PSK) systems. The use of PSK generally...
Makoto Tanahashi, Hideki Ochiai
VTC
2007
IEEE
129views Communications» more  VTC 2007»
16 years 1 months ago
Hybrid Model of Least Squares Handover Algorithms in Wireless Networks
Abstract— An adaptive handover algorithm for wireless comn systems is addressed in this extended abstract. Moving from the Generalized Extended Least Square handover algorithm in...
Claudia Rinaldi, Fortunato Santucci, Carlo Fischio...
ESORICS
2007
Springer
16 years 28 days ago
Obligations and Their Interaction with Programs
Obligations are pervasive in modern systems, often linked to access control decisions. We present a very general model of obligations as objects with state, and discuss its interac...
Daniel J. Dougherty, Kathi Fisler, Shriram Krishna...