130 search results - page 26 / 26 » Algorithmic Algebraic Model Checking I: Challenges from Syst... |
COMPSAC
1998
IEEE
13 years 9 months ago
1998
IEEE
Many world wide web applications require access, transfer, and synchronization of large multimedia data objects (MDOs) (such as, audio, video, and images) across the communication...
AROBOTS
2007
13 years 4 months ago
2007
— A central goal of robotics and AI is to be able to deploy an agent to act autonomously in the real world over an extended period of time. To operate in the real world, autonomo...
KDD
2009
ACM
13 years 9 months ago
2009
ACM
This paper aims at discovering community structure in rich media social networks, through analysis of time-varying, multi-relational data. Community structure represents the laten...
GIS
2008
ACM
14 years 5 months ago
2008
ACM
The pervasiveness of location-acquisition technologies (GPS, GSM networks, etc.) enable people to conveniently log the location histories they visited with spatio-temporal data. T...
INFOCOM
2005
IEEE
13 years 10 months ago
2005
IEEE
Abstract— An ad hoc wireless network is an autonomous selforganizing system of mobile nodes connected by wireless links where nodes not in direct range communicate via intermedia...