Sciweavers

11030 search results - page 416 / 2206
» Generative Sound Models
Sort
View
ICC
2009
IEEE
130views Communications» more  ICC 2009»
15 years 4 months ago
Verification of Secret Key Generation from UWB Channel Observations
Theoretical models of ultrawideband (UWB) radio channels indicate that pairs of UWB radio transceivers measure their common radio channel with a high degree of agreement and third ...
Masoud Ghoreishi Madiseh, Shuai He, Michael L. McG...
ICDE
2011
IEEE
220views Database» more  ICDE 2011»
14 years 10 months ago
Generating test data for killing SQL mutants: A constraint-based approach
—Complex SQL queries are widely used today, but it is rather difficult to check if a complex query has been written correctly. Formal verification based on comparing a specifi...
Shetal Shah, S. Sudarshan, Suhas Kajbaje, Sandeep ...
ICIDS
2009
Springer
16 years 1 months ago
Controlling Narrative Generation with Planning Trajectories: The Role of Constraints
Abstract. AI planning has featured in a number of Interactive Storytelling prototypes: since narratives can be naturally modelled as a sequence of actions it has been possible to e...
Julie Porteous, Marc Cavazza
ICRA
2008
IEEE
143views Robotics» more  ICRA 2008»
16 years 1 months ago
Pattern generators with sensory feedback for the control of quadruped locomotion
— Central Pattern Generators (CPGs) are becoming a popular model for the control of locomotion of legged robots. Biological CPGs are neural networks responsible for the generatio...
Ludovic Righetti, Auke Jan Ijspeert
ECOOP
2007
Springer
16 years 28 days ago
Generational Real-Time Garbage Collection
Abstract. While real-time garbage collection is now available in production virtual machines, the lack of generational capability means applications with high allocation rates are ...
Daniel Frampton, David F. Bacon, Perry Cheng, Davi...