1511 search results - page 207 / 303 » Relational Parametricity for Computational Effects |
171
click to vote
IPPS
2000
IEEE
15 years 10 months ago
2000
IEEE
With the ever-increasing demands on server applications, many new server services are distributed in nature. We evaluated one hundred deployed systems and found that over a one-yea...
152
click to vote
ASPLOS
2000
ACM
15 years 10 months ago
2000
ACM
Processors execute the full dynamic instruction stream to arrive at the final output of a program, yet there exist shorter instruction streams that produce the same overall effec...
150
click to vote
SAC
2000
ACM
15 years 10 months ago
2000
ACM
This paper presents XMARS, a programmable coordination architecture for Internet applications based on mobile agents. In XMARS, agents coordinate – both with each other and with...
205
click to vote
CVPR
1996
IEEE
15 years 10 months ago
1996
IEEE
A new boundary detection approach for shape modeling is presented. It detects the global minimum of an active contour model's energy between two end points. Initialization is ...
173
click to vote
ACCV
2007
Springer
15 years 10 months ago
2007
Springer
In this paper, a novel statistical framework is proposed for shot segmentation and classification. The proposed framework segments and classifies shots simultaneously using same di...