1382 search results - page 136 / 277 » Formal Analysis of Online Algorithms |
219
click to vote
ICDE
2012
IEEE
13 years 8 months ago
2012
IEEE
— A Cyber-Physical System (CPS) integrates physical devices (e.g., sensors, cameras) with cyber (or informational) components to form a situation-integrated analytical system tha...
166
click to vote
STOC
2007
ACM
16 years 6 months ago
2007
ACM
We introduce a new, generic framework for private data analysis. The goal of private data analysis is to release aggregate information about a data set while protecting the privac...
155
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
We present a principled methodology for filtering news stories by formal measures of information novelty, and show how the techniques can be used to custom-tailor newsfeeds based ...
186
click to vote
GRC
2010
IEEE
15 years 7 months ago
2010
IEEE
We present a problem of factor analysis of three-way binary data, i.e. data described by a 3-dimensional binary matrix I, describing a relationship between objects, attributes, an...
151
click to vote
DOCENG
2009
ACM
16 years 28 days ago
2009
ACM
We study the analysis problem of XPath expressions with counting constraints. Such expressions are commonly used in document transformations or programs in which they select porti...