4345 search results - page 355 / 869 » Temporal Constraint Networks |
175
click to vote
FMSD
2006
15 years 6 months ago
2006
This paper describes the application of the Real-Time Maude tool and the Maude formal methodology to the specification and analysis of the AER/NCA suite of active network multicast...
195
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
Video transmission over wireless networks suffers from packet loss due to either temporary packet drop or fadinginduced bit errors. To ensure that the quality of the decoded video...
331
click to vote
PERVASIVE
2011
Springer
14 years 9 months ago
2011
Springer
People spend most of their time at a few key locations, such as home and work. Being able to identify how the movements of people cluster around these “important places” is cru...
189
click to vote
CISIS
2009
IEEE
15 years 4 months ago
2009
IEEE
In this paper, we propose a level set based energy functional, the minimization of which results in simultaneous background modeling, foreground segmentation, and contour smoothin...
217
click to vote
PERCOM
2005
ACM
16 years 6 months ago
2005
ACM
Mobile Ad hoc NETworks (MANETs) conveniently complement infrastructure-based networks, allowing mobile nodes to spontaneously form a network and share their services, including br...