1076 search results - page 193 / 216 » Operations on proofs and labels |
203
click to vote
SRDS
2010
IEEE
14 years 11 months ago
2010
IEEE
Entities (e.g., users, services) have to authenticate themselves to service providers (SPs) in order to use their services. An entity provides personally identifiable information (...
138
click to vote
TMC
2011
14 years 8 months ago
2011
—We propose a method to compute a probably approximately correct (PAC) normalized histogram of observations with a refresh rate of Âð1Þ time units per histogram sample on a ra...
139
Voted
POPL
2012
ACM
13 years 9 months ago
2012
ACM
We show how to combine a general purpose type system for an existing language with support for programming with binders and contexts by refining the type system of ML with a rest...
166
Voted
TEI
2012
ACM
13 years 9 months ago
2012
ACM
Most current mobile technologies require on-screen operations for interacting with devices’ visual contents. However, as a trade-off for mobility, screens usually provide limite...
106
click to vote
KDD
2008
ACM
16 years 2 months ago
2008
ACM
Text classification has matured as a research discipline over the last decade. Independently, business intelligence over structured databases has long been a source of insights fo...