Sciweavers

3865 search results - page 167 / 773
» From Bidirectionality to Alternation
Sort
View
TCS
1998
15 years 6 months ago
A Computational Model for Metric Spaces
In this paper we present an alternative order-theoretic proof of the Banach fixed point theorem for selfmaps on complete metric spaces which is based on formal balls and, contrary...
Abbas Edalat, Reinhold Heckmann
PROCEDIA
2010
85views more  PROCEDIA 2010»
15 years 4 months ago
Toward interactive statistical modeling
When solving machine learning problems, there is currently little automated support for easily experimenting with alternative statistical models or solution strategies. This is be...
Sooraj Bhat, Ashish Agarwal, Alexander Gray, Richa...
IWSDS
2010
15 years 4 months ago
Construction and Experiment of a Spoken Consulting Dialogue System
This paper addresses a spoken dialogue framework that helps users make decisions. Various decision criteria are involved when we select an alternative from a given set of alternati...
Teruhisa Misu, Chiori Hori, Kiyonori Ohtake, Hidek...
SIGDIAL
2010
15 years 4 months ago
Modeling Spoken Decision Making Dialogue and Optimization of its Dialogue Strategy
This paper presents a spoken dialogue framework that helps users in making decisions. Users often do not have a definite goal or criteria for selecting from a list of alternatives...
Teruhisa Misu, Komei Sugiura, Kiyonori Ohtake, Chi...
ICCAD
2009
IEEE
152views Hardware» more  ICCAD 2009»
15 years 4 months ago
Adaptive sampling for efficient failure probability analysis of SRAM cells
In this paper, an adaptive sampling method is proposed for the statistical SRAM cell analysis. The method is composed of two components. One part is the adaptive sampler that manip...
Javid Jaffari, Mohab Anis