Sciweavers

1284 search results - page 58 / 257
» Connectivity in Bag Generation
Sort
View
ISSAC
2004
Springer
185views Mathematics» more  ISSAC 2004»
15 years 10 months ago
Automatic generation of polynomial loop
In [17], an abstract framework for automatically generating loop invariants of imperative programs was proposed. This framework was then instantiated for the language of conjuncti...
Enric Rodríguez-Carbonell, Deepak Kapur
118
Voted
ICRA
2003
IEEE
146views Robotics» more  ICRA 2003»
15 years 10 months ago
Automatic locomotion pattern generation for modular robots
Locomotion is considered as most basic function of robots. In the case of ordinary robots, they are not needed to change locomotion pattern because their configurations are consta...
Akiya Kamimura, Haruhisa Kurokawa, Eiichi Yoshida,...
CHI
2009
ACM
15 years 9 months ago
Generating affective music icons in the emotion plane
In this paper, we discuss the generation of icons that represent the emotion expressed in music. We use the emotion plane for connecting the music with the icon shape affectively....
Hyun-Ju Kim, Min-Joon Yoo, Ji-yong Kwon, In-Kwon L...
INFOCOM
2000
IEEE
15 years 9 months ago
Virtual Backbone Generation and Maintenance in Ad Hoc Network Mobility Management
Abstract—In this paper, we present the implementation issues of a virtual backbone that supports the operations of the Uniform Quorum System (UQS) and the Randomized Database Gro...
Ben Liang, Zygmunt J. Haas
116
Voted
MASCOTS
2001
15 years 6 months ago
How Does TCP Generate Pseudo-Self-Similarity?
Abstract--Long-range dependence has been observed in many recent Internet traffic measurements. In addition, some recent studies have shown that under certain network conditions, T...
Liang Guo, Mark Crovella, Ibrahim Matta