Sciweavers

4052 search results - page 119 / 811
» Using RDF to describe networks
Sort
View
IPSN
2007
Springer
15 years 11 months ago
Acoustic source localization using the acoustic ENSBox
Field biologists use animal sounds to discover the presence of individuals and to study their behavior. The recent development of new deployable acoustic sensor platforms presents...
Andreas M. Ali, Kung Yao, Travis C. Collier, Charl...
165
Voted
DEBU
2006
163views more  DEBU 2006»
15 years 5 months ago
Towards Activity Databases: Using Sensors and Statistical Models to Summarize People's Lives
Automated reasoning about human behavior is a central goal of artificial intelligence. In order to engage and intervene in a meaningful way, an intelligent system must be able to ...
Tanzeem Choudhury, Matthai Philipose, Danny Wyatt,...
RSP
2007
IEEE
139views Control Systems» more  RSP 2007»
15 years 11 months ago
Verifying Distributed Protocols using MSC-Assertions, Run-time Monitoring, and Automatic Test Generation
This paper addresses the need for formal specification and runtime verification of system-level requirements of distributed reactive systems. It describes a formalism for specifyi...
Doron Drusinsky, Man-tak Shing
MOMM
2006
ACM
168views Communications» more  MOMM 2006»
15 years 11 months ago
Mobile P2P Web Service Creation using SIP
: Telecommunication networks and the Internet are growing together. Peer-to-Peer (P2P) services which are originally offered by network providers, like telephony and messaging, ar...
Guido Gehlen, Fahad Aijaz, Yi Zhu, Bernhard Walke
IJIIDS
2008
46views more  IJIIDS 2008»
15 years 5 months ago
Modelling an emergency vehicle early-warning system using real-time feedback
: Emergency vehicles, while usually equipped with warning sirens and/or beacons, are still often impeded by other traffic and involved in numerous collisions. An effective warning ...
Aline Senart, Mélanie Bouroche, Vinny Cahil...