2746 search results - page 223 / 550 » Bisubmodular Function Minimization |
211
click to vote
ADHOCNOW
2006
Springer
16 years 17 days 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...
230
click to vote
ACL2
2006
ACM
16 years 17 days 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 ...
148
click to vote
UIST
2006
ACM
16 years 16 days 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...
153
click to vote
CIMCA
2005
IEEE
16 years 6 days 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...
158
click to vote
DEXAW
2005
IEEE
16 years 6 days 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...