Sciweavers

1713 search results - page 112 / 343
» Analysis of Procedure Splitability
Sort
View
ICPR
2008
IEEE
14 years 5 months ago
Video-based activity and movement pattern analysis in overnight sleep studies
We present a non-contact monitoring system to measure the quality of sleep using near-infrared video in this paper. We envision a smart home environment in which a processing modu...
Wen-Hung Liao, Chien-Ming Yang
STOC
2007
ACM
112views Algorithms» more  STOC 2007»
14 years 11 months ago
Smooth sensitivity and sampling in private data analysis
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...
Kobbi Nissim, Sofya Raskhodnikova, Adam Smith
ATAL
2009
Springer
14 years 5 months ago
An analysis of feasible solutions for multi-issue negotiation involving nonlinear utility functions
This paper analyzes bilateral multi-issue negotiation between selfinterested agents. Specifically, we consider the case where issues are divisible, there are time constraints in ...
S. Shaheen Fatima, Michael Wooldridge, Nicholas R....
CSFW
1999
IEEE
14 years 3 months ago
Athena: A New Efficient Automatic Checker for Security Protocol Analysis
We propose an efficient automatic checking algorithm, Athena, for analyzing security protocols. Athena incorporates a logic that can express security properties including authenti...
Dawn Xiaodong Song
IDA
1999
Springer
14 years 2 months ago
Knowledge-Based Visualization to Support Spatial Data Mining
Data mining methods are designed for revealing significant relationships and regularities in data collections. Regarding spatially referenced data, analysis by means of data minin...
Gennady L. Andrienko, Natalia V. Andrienko