972 search results - page 139 / 195 » Intersection types and computational effects |
GROUP
2003
ACM
14 years 2 months ago
2003
ACM
Telepointers are an important type of embodiment in real-time distributed groupware. Telepointers can increase the presence of remote participants and can provide considerable awa...
CCR
2005
13 years 8 months ago
2005
This paper focuses on "router-based" defense mechanisms, and whether they can provide effective solutions to network Denialof-Service (DoS) attacks. Router-based defense...
POPL
2011
ACM
12 years 11 months ago
2011
ACM
A number of deterministic parallel programming models with strong safety guarantees are emerging, but similar support for nondeterministic algorithms, such as branch and bound sea...
CVPR
2010
IEEE
14 years 5 months ago
2010
IEEE
We propose a visual event recognition framework for consumer domain videos by leveraging a large amount of loosely labeled web videos (e.g., from YouTube). First, we propose a new...
BROADNETS
2005
IEEE
14 years 2 months ago
2005
IEEE
— Due to varying wireless channel conditions, the IEEE 802.11 wireless local area network (WLAN) standard supports multiple modulation types to accommodate the tradeoff between d...