2149 search results - page 212 / 430 » Form over Substance |
169
click to vote
ICDM
2007
IEEE
16 years 26 days ago
2007
IEEE
One of the core tasks in social network analysis is to predict the formation of links (i.e. various types of relationships) over time. Previous research has generally represented ...
175
click to vote
ICRA
2007
IEEE
16 years 26 days ago
2007
IEEE
— In this paper we present a methodology to drive the end effector of a robotic manipulator across the surface of an object in the workspace, and at the same time the manipulator...
139
click to vote
INFOCOM
2007
IEEE
16 years 25 days ago
2007
IEEE
Abstract—The success of swarming content delivery has motivated a new approach to live Peer-to-Peer (P2P) streaming that we call mesh-based streaming. In this approach, participa...
160
click to vote
LICS
2007
IEEE
16 years 25 days ago
2007
IEEE
tion and Abstract Separation Logic Cristiano Calcagno Imperial College, London Peter W. O’Hearn Queen Mary, University of London Hongseok Yang Queen Mary, University of London S...
201
click to vote
LICS
2007
IEEE
16 years 25 days ago
2007
IEEE
We define a new class of languages defined by multi-stack automata that forms a robust subclass of context-sensitive languages, with decidable emptiness and closure under boolea...