1284 search results - page 58 / 257 » Connectivity in Bag Generation |
156
click to vote
ISSAC
2004
Springer
15 years 10 months ago
2004
Springer
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...
118
Voted
ICRA
2003
IEEE
15 years 10 months ago
2003
IEEE
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...
127
click to vote
CHI
2009
ACM
15 years 9 months ago
2009
ACM
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....
154
click to vote
INFOCOM
2000
IEEE
15 years 9 months ago
2000
IEEE
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...
116
Voted
MASCOTS
2001
15 years 6 months ago
2001
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...