Sciweavers

8486 search results - page 50 / 1698
» Ordered Enumeration Method
Sort
View
AAAI
2012
11 years 10 months ago
Tree-Based Solution Methods for Multiagent POMDPs with Delayed Communication
Planning under uncertainty is an important and challenging problem in multiagent systems. Multiagent Partially Observable Markov Decision Processes (MPOMDPs) provide a powerful fr...
Frans Adriaan Oliehoek, Matthijs T. J. Spaan
IJIT
2004
13 years 9 months ago
Forecasting Enrollment Model Based on First-Order Fuzzy Time Series
-- This paper proposes a novel improvement of forecasting approach based on using time-invariant fuzzy time series. In contrast to traditional forecasting methods, fuzzy time serie...
Melike Sah, Konstantin Y. Degtiarev
APLAS
2010
ACM
13 years 7 months ago
Verification of Tree-Processing Programs via Higher-Order Model Checking
Abstract. We propose a new method to verify that a higher-order, treeprocessing functional program conforms to an input/output specification. Our method reduces the verification pr...
Hiroshi Unno, Naoshi Tabuchi, Naoki Kobayashi
DATE
2007
IEEE
118views Hardware» more  DATE 2007»
14 years 1 months ago
Statistical model order reduction for interconnect circuits considering spatial correlations
In this paper, we propose a novel statistical model order reduction technique, called statistical spectrum model order reduction (SSMOR) method, which considers both intra-die and...
Jeffrey Fan, Ning Mi, Sheldon X.-D. Tan, Yici Cai,...
TSP
2008
69views more  TSP 2008»
13 years 7 months ago
Nonminimum Phase Identification Based on Higher Order Spectrum Slices
A new family of methods, named phase estimation using polyspectrum slices (PEP), for the reconstruction of the Fourier phase of a complex linear time invariant (LTI) system excited...
Amar Kachenoura, Laurent Albera, Jean-Jacques Bell...