6527 search results - page 389 / 1306 » On Typing Information Flow |
184
Voted
CADE
2001
Springer
16 years 7 months ago
2001
Springer
Proof assistants based on type theories, such as Coq and Lego, allow users to omit subterms on input that can be inferred automatically. While those mechanisms are well known, ad-h...
164
Voted
GLOBECOM
2009
IEEE
16 years 1 months ago
2009
IEEE
—Current 802.11 networks do not typically achieve the maximum potential throughput despite link adaptation and crosslayer optimization techniques designed to alleviate many cause...
192
click to vote
ECIR
2008
Springer
15 years 8 months ago
2008
Springer
It is important to integrate contextual information in order to improve the inaccurate results of current approaches for automatic image annotation. Graph based representations all...
189
click to vote
CVPR
2008
IEEE
16 years 9 months ago
2008
IEEE
We propose a hybrid body representation that represents each typical pose by both template-like view information and part-based structural information. Specifically, each body par...
224
click to vote
ICIP
2008
IEEE
16 years 8 months ago
2008
IEEE
Reliable segmentation and motion tracking algorithms are required to achieve gesture detection and tracking for human-machine interaction. In this paper we present an efficient me...