3143 search results - page 364 / 629 » Minimization of entropy functionals |
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...
153
click to vote
ICRA
2005
IEEE
16 years 5 days ago
2005
IEEE
Abstract - This paper presents an improvement over a previous contour closure algorithm. Assuming that edge points are given as input, the proposed approach consists of two steps. ...