6527 search results - page 176 / 1306 » On Typing Information Flow |
JECR
2000
13 years 9 months ago
2000
Traditional supply chain management utilized traditional media and channels to link firms in linear, inefficient relationships. The advent of electronic commerce over the Internet...
CORR
2010
Springer
13 years 9 months ago
2010
Springer
Dependently typed -calculi such as the Logical Framework (LF) are capable of representing relationships between terms through types. By exploiting the "formulas-as-types"...
EACL
2003
ACL Anthology
13 years 10 months ago
2003
ACL Anthology
This paper provides a method for generating compact and efficient code to implement the enforcement of a description in typed feature logic. It does so by viewing information abo...
ICPR
2008
IEEE
14 years 10 months ago
2008
IEEE
We present a simple but efficient model for object segmentation in video scenes that integrates motion and color information in a joint probabilistic framework. Optical flow is mo...
CHI
2010
ACM
14 years 4 months ago
2010
ACM
Water is our most precious and most rapidly declining natural resource. We explore pervasive technology as an approach for promoting water conservation in public and private space...