Sciweavers

158 search results - page 31 / 32
» Change in Abstract Argumentation Frameworks: Adding an Argum...
Sort
View
WWW
2001
ACM
14 years 8 months ago
iMobile: An Agent-Based Platform for Mobile Services
iMobile is a platform that addresses the research issues in building mobile services. iMobile acts as a message gateway that allows mobile devices using various protocols on diffe...
Herman Chung-Hwa Rao, Yih-Farn Chen, Di-Fa Chang, ...
ICC
2007
IEEE
150views Communications» more  ICC 2007»
14 years 1 months ago
Utility-based Optimal Rate Allocation for Heterogeneous Wireless Multicast
Abstract— Heterogeneous multicast is an efficient communication scheme especially for multimedia applications running over multihop networks when multicast receivers in the same...
Amr M. Mohamed, Hussein M. Alnuweiri
FASE
2009
Springer
13 years 11 months ago
Interface Generation and Compositional Verification in JavaPathfinder
Abstract. We present a novel algorithm for interface generation of software components. Given a component, our algorithm uses learning techniques to compute a permissive interface ...
Dimitra Giannakopoulou, Corina S. Pasareanu
DAGM
2004
Springer
13 years 11 months ago
The Perceptual Influence of Spatiotemporal Noise on the Reconstruction of Shape from Dynamic Occlusion
Abstract. When an object moves, it covers and uncovers texture in the background. This pattern of change is sufficient to define the object's shape, velocity, relative depth, ...
Theresa Cooke, Douglas W. Cunningham, Heinrich H. ...
PAKDD
2010
ACM
193views Data Mining» more  PAKDD 2010»
13 years 5 months ago
As Time Goes by: Discovering Eras in Evolving Social Networks
Abstract. Within the large body of research in complex network analysis, an important topic is the temporal evolution of networks. Existing approaches aim at analyzing the evolutio...
Michele Berlingerio, Michele Coscia, Fosca Giannot...