Sciweavers

640 search results - page 79 / 128
» Discovering State Invariants
Sort
View
JAIR
2008
111views more  JAIR 2008»
14 years 12 months ago
New Islands of Tractability of Cost-Optimal Planning
We study the complexity of cost-optimal classical planning over propositional state variables and unary-effect actions. We discover novel problem fragments for which such optimiza...
Michael Katz, Carmel Domshlak
PVLDB
2010
123views more  PVLDB 2010»
14 years 10 months ago
Sharing-Aware Horizontal Partitioning for Exploiting Correlations During Query Processing
Optimization of join queries based on average selectivities is suboptimal in highly correlated databases. In such databases, relations are naturally divided into partitions, each ...
Kostas Tzoumas, Amol Deshpande, Christian S. Jense...
SBP
2011
Springer
14 years 6 months ago
Identifying Health-Related Topics on Twitter - An Exploration of Tobacco-Related Tweets as a Test Topic
Public health-related topics are difficult to identify in large conversational datasets like Twitter. This study examines how to model and discover public health topics and themes ...
Kyle W. Prier, Matthew S. Smith, Christophe G. Gir...
AI
2011
Springer
14 years 3 months ago
Learning Dialogue POMDP Models from Data
In this paper, we learn the components of dialogue POMDP models from data. In particular, we learn the states, observations, as well as transition and observation functions based o...
Hamid R. Chinaei, Brahim Chaib-draa
ASPLOS
2011
ACM
14 years 3 months ago
Ensuring operating system kernel integrity with OSck
Kernel rootkits that modify operating system state to avoid detection are a dangerous threat to system security. This paper presents OSck, a system that discovers kernel rootkits ...
Owen S. Hofmann, Alan M. Dunn, Sangman Kim, Indraj...