2746 search results - page 223 / 550 » Bisubmodular Function Minimization |
165
click to vote
ADHOCNOW
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Current in-network programming protocols for sensor networks allow an attacker to gain control of the network or disrupt its proper functionality by disseminating malicio...
187
click to vote
ACL2
2006
ACM
15 years 10 months ago
2006
ACM
To make it practical to mechanize proofs in programming language metatheory, several capabilities are required of the theorem proving framework. One must be able to represent and ...
115
click to vote
UIST
2006
ACM
15 years 10 months ago
2006
ACM
We propose WindowScape, a window manager that uses a photograph metaphor for lightweight, post hoc task management. This is the first task management windowing model to provide in...
119
click to vote
CIMCA
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper aims at describing Carnival, a movie on demand system that provides Movie on demand service by implementing low cost storage architecture for movie storage server. Carn...
127
click to vote
DEXAW
2005
IEEE
15 years 10 months ago
2005
IEEE
Sensor networks have opened new horizons and opportunities for a variety of environmental monitoring, surveillance and healthcare applications. One of the major tasks of sensor ne...