623 search results - page 39 / 125 » Relational Parametricity for Control Considered as a Computa... |
147
click to vote
IPPS
2005
IEEE
15 years 11 months ago
2005
IEEE
Previous work on task scheduling mechanisms assumed that the agent’s goal is to maximize its own profit without considering the effect of its strategy on the other agents’ pr...
211
click to vote
ICIP
2001
IEEE
16 years 7 months ago
2001
IEEE
We present an approach to tracking human activities in a monocular video. We model the human body by decomposing it into torso and limbs and use simple 3D shapes to approximate th...
157
click to vote
NETCOOP
2009
Springer
16 years 22 days ago
2009
Springer
There are moves in the Internet architecture community to add multipath capabilities to TCP, so that end-systems will be able to shift their traffic away from congested parts of th...
208
click to vote
NDSS
2003
IEEE
15 years 11 months ago
2003
IEEE
Security is a major, frequent concern in extensible software systems such as Java Virtual Machines and the Common Language Runtime. These systems aim to enable simple, classic app...
230
click to vote
TELETRAFFIC
2007
Springer
16 years 9 days ago
2007
Springer
Broadband satellite-based IP networks have been considered as the technology to enable a strong and promising next-generation market. In satellite communication systems, the channe...