Sciweavers

COR
2008
131views more  COR 2008»
13 years 11 months ago
Comparing methods for multiattribute decision making with ordinal weights
This paper is concerned with procedures for ranking discrete alternatives when their values are evaluated precisely on multiple attributes and the attribute weights are known only...
Byeong Seok Ahn, Kyung Sam Park
ENTCS
2002
103views more  ENTCS 2002»
13 years 11 months ago
Deciding low levels of tree-automata hierarchy
The paper discusses the hierarchy of indices of finite automata over infinite objects. This hierarchy corresponds exactly to the hierarchy of alternations of least and greatest fi...
Igor Walukiewicz
CSL
2002
Springer
13 years 11 months ago
Hoare Logics for Recursive Procedures and Unbounded Nondeterminism
This paper presents sound and complete Hoare logics for partial and total correctness of recursive parameterless procedures in the context of unbounded nondeterminism. For total co...
Tobias Nipkow
ASE
2005
140views more  ASE 2005»
13 years 11 months ago
Automated Procedure Construction for Deductive Synthesis
Deductive program synthesis systems based on automated theorem proving offer the promise of software that is correct by construction. However, the difficulty encountered in constru...
Steve Roach, Jeffrey Van Baalen
PAMI
2006
109views more  PAMI 2006»
13 years 11 months ago
Edge-Preserving Image Denoising and Estimation of Discontinuous Surfaces
In this paper, we are interested in the problem of estimating a discontinuous surface from noisy data. A novel procedure for this problem is proposed based on local linear kernel ...
Irène Gijbels, Alexandre Lambert, Peihua Qi...
ENTCS
2007
121views more  ENTCS 2007»
13 years 11 months ago
Rewrite-Based Decision Procedures
The rewrite-based approach to satisfiability modulo theories consists of using generic theorem-proving strategies for first-order logic with equality. If one can prove that an i...
Maria Paola Bonacina, Mnacho Echenim
JAIR
2006
134views more  JAIR 2006»
13 years 11 months ago
Multi-Issue Negotiation with Deadlines
This paper studies bilateral multi-issue negotiation between self-interested autonomous agents. Now, there are a number of different procedures that can be used for this process; ...
S. Shaheen Fatima, Michael Wooldridge, Nicholas R....
IOR
2006
74views more  IOR 2006»
13 years 11 months ago
On the Asymptotic Validity of Fully Sequential Selection Procedures for Steady-State Simulation
We present fully sequential procedures for steady-state simulation that are designed to select the best of a finite number of simulated systems when "best" is defined by...
Seong-Hee Kim, Barry L. Nelson
EOR
2006
62views more  EOR 2006»
13 years 11 months ago
A sequential procedure for neighborhood selection-of-the-best in optimization via simulation
We propose a fully sequential indifference-zone selection procedure that is specifically for use within an optimization-via-simulation algorithm when simulation is costly, and par...
Juta Pichitlamken, Barry L. Nelson, L. Jeff Hong
CSDA
2006
142views more  CSDA 2006»
13 years 11 months ago
A studentized range test for the equivalency of normal means under heteroscedasticity
A studentized range test using a two-stage and a one-stage sampling procedures, respectively, is proposed for testing the hypothesis that the average deviation of the normal means...
Miin-Jye Wen, Hubert J. Chen