Sciweavers

3365 search results - page 268 / 673
» Multidimensional Data Modeling for Complex Data
Sort
View
TAMC
2009
Springer
16 years 1 months ago
Best-Order Streaming Model
We study a new model of computation called stream checking on graph problems where a space-limited verifier has to verify a proof sequentially (i.e., it reads the proof as a strea...
Atish Das Sarma, Richard J. Lipton, Danupon Nanong...
LISA
2008
15 years 9 months ago
Designing Tools for System Administrators: An Empirical Test of the Integrated User Satisfaction Model
System administrators are unique computer users. As power users in complex and high-risk work environments, intuition tells us that they may have requirements of the tools they us...
Nicole F. Velasquez, Suzanne P. Weisband, Alexandr...
GCC
2003
Springer
15 years 12 months ago
CoAuto: A Formal Model for Cooperative Processes
A formal model called CoAuto (Cooperative Automaton) is proposed ibe and analyze cooperative processes. A basic CoAuto abstracts the behaviors of a single active entity. It separat...
Jinlei Jiang, Meilin Shi
PKDD
2009
Springer
144views Data Mining» more  PKDD 2009»
16 years 1 months ago
Compositional Models for Reinforcement Learning
Abstract. Innovations such as optimistic exploration, function approximation, and hierarchical decomposition have helped scale reinforcement learning to more complex environments, ...
Nicholas K. Jong, Peter Stone
AAAI
2008
15 years 9 months ago
Latent Tree Models and Approximate Inference in Bayesian Networks
We propose a novel method for approximate inference in Bayesian networks (BNs). The idea is to sample data from a BN, learn a latent tree model (LTM) from the data offline, and wh...
Yi Wang, Nevin Lianwen Zhang, Tao Chen