6527 search results - page 359 / 1306 » On Typing Information Flow |
159
Voted
IJCAI
2001
15 years 8 months ago
2001
Models of computer users that are learned on the basis of data can make use of two types of information: data about users in general and data about the current individual user. Fo...
179
click to vote
IJDMB
2006
15 years 6 months ago
2006
: Biomedical data sets often have mixed categorical and numerical types, where the former represent semantic information on the objects and the latter represent experimental result...
151
click to vote
ML
2008
ACM
15 years 6 months ago
2008
ACM
We implement statically-typed multi-holed contexts in OCaml using an underlying algebraic datatype augmented with phantom types. Existing approaches require dynamic checks or more...
231
Voted
BMVC
2010
15 years 4 months ago
2010
This paper presents a learning-based method for combining the shape and appearance feature types for 3D human pose estimation from single-view images. Our method is based on clust...
252
Voted
SIGMOD
2005
ACM
16 years 7 months ago
2005
ACM
We demonstrate a prototype of the relational data mapping module of MIQIS, a formal framework for investigating information flow in peer-to-peer database management systems. Data ...