Sciweavers

1124 search results - page 57 / 225
» Generalized Conditioning in Neighbourhood Models
Sort
View
RITA
2000
109views more  RITA 2000»
13 years 7 months ago
A logic-based approach for real-time object-oriented software development
This paper discusses how RETOOL, an action logic featuring an operator that expresses necessary conditions, postconditions and time bounds of actions, can be combined with MTL, a ...
Fernando Náufel do Amaral, Edward Hermann H...
SMC
2007
IEEE
120views Control Systems» more  SMC 2007»
14 years 1 months ago
A data-dependent distance measure for transductive instance-based learning
— We consider learning in a transductive setting using instance-based learning (k-NN) and present a method for constructing a data-dependent distance “metric” using both labe...
Jared Lundell, Dan Ventura
TABLEAUX
2007
Springer
14 years 1 months ago
Tree-Sequent Methods for Subintuitionistic Predicate Logics
Subintuitionistic logics are a class of logics defined by using Kripke models with more general conditions than those for intuitionistic logic. In this paper we study predicate lo...
Ryo Ishigaki, Kentaro Kikuchi
WSC
1998
13 years 9 months ago
A Parametric Version of Jackknife-after-Bootstrap
In this paper, we investigate the problem of deriving precision estimates for bootstrap quantities within parametric families. Efron's [1992] jackknife-after-bootstrap is a s...
Jin Wang
QUESTA
2007
50views more  QUESTA 2007»
13 years 7 months ago
Stability of join-the-shortest-queue networks
This paper investigates stability behavior in a variant of a generalized Jackson queueing network. In our network, some customers use a join-the-shortest-queue policy when enterin...
J. G. Dai, John J. Hasenbein, Bara Kim